مسألة التتميم في منطق الجبر ثلاثي القيمة

Authors

  • يعرب غاليه
  • مسعود سعاده

Abstract

درسنا في هذا البحث مسألة التتميم في منطق الجبر ثلاثي القيمة على منطق لوكاسفيتش ثلاثي القيمة بالنسبة لجملة أدوات منطقية تامة حيث تمت دراسة هذه المسألة في منظومة اشتقاق غاسبرغ وتقديم دراسة شاملة تضمنت أهم النظريات و قواعد الاشتقاق التي تم وضعها والتي أدت إلى تقديم برهان مميز لنظرية التتميم في منطق لوكاسفيتش ثلاثي القيمة. We study in this research completeness problem in three valued algebraic logic on Lukasiewicz 3 valued logic for a functionally complete set of connectives where we studied this problem in Wajseberg derivation system and we presented a comprehensive study of the most important theorems and derivation rules which led to a very unique and special proof of completeness theorem in Lukasiewicz 3 valued logic.

Downloads

Published

2017-03-05

How to Cite

1.
غاليه ي, سعاده م. مسألة التتميم في منطق الجبر ثلاثي القيمة. TUJ-BA [Internet]. 2017Mar.5 [cited 2024Nov.24];38(3). Available from: https://journal.tishreen.edu.sy/index.php/bassnc/article/view/2552

Issue

Vol. 38 No. 3 (2016): العلوم الأساسية

Section

Articles

License

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.

The authors retain the copyright and grant the right to publish in the magazine for the first time with the transfer of the commercial right to the Tishreen University Journal -Basic Sciences Series  

 Under a CC BY- NC-SA 04 license that allows others to share the work with of the work's authorship and initial publication in this journal. Authors can use a copy of their articles in their scientific activity, and on their scientific websites, provided that the place of publication is indicted in Tishreen University Journal -Basic Sciences Series .  The Readers have the right to send, print and subscribe to the initial version of the article, and the title of Tishreen University Journal -Basic Sciences Series   Publisher

 

journal uses a CC BY-NC-SA license which mean

You are free to:

  • Adapt — remix, transform, and build upon the material
  •  
  • The licensor cannot revoke these freedoms as long as you follow the license terms.

 

  • Attribution — You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
  • NonCommercial — You may not use the material for commercial purposes.
  • ShareAlike — If you remix, transform, or build upon the material, you must distribute your contributions under the same license as the original.
  • No additional restrictions — You may not apply legal terms or technological measures that legally restrict others from doing anything the license permits.