Completeness problem in three valued algebraic logic
published by Tishreen University
in 2016
in
and research's language is
العربية
Download
Abstract in English
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.
References used
BERGMANN, MERRIE,JAMES, H.MOOR and JACK NELSON. The Logic Book, 4th ed. New York: McGraw-Hill, 2004 , 71-90 , 100-114
S. AGUZZOLI and A. CIABATTONI “Finiteness in Infinite-Valued _Lukasiewicz Logic.”Journal of Logic, Language, and Information 9, 2000, -17
BEALL J.C. and BAS C. and VAN FRAASSEN Possibilities and Paradox: An Introduction to Modal and Many-Valued Logic. New York: Oxford University Press, 2003, 75-92