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

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 2024Mar.28];38(3). Available from: https://journal.tishreen.edu.sy/index.php/bassnc/article/view/2552