DocumentCode
3223062
Title
What is many-valued logic?
Author
Beziau, Jean-Yves
Author_Institution
Nat. Lab. for Sci. Comput., Rio de Janeiro, Brazil
fYear
1997
fDate
28-30 May 1997
Firstpage
117
Lastpage
121
Abstract
Firstly we examine the definition of many-valued logic within the framework of (logical) matrix theory. Secondly we discuss the general result, challenging the existence of many-valued logic, according to which every logic may be seen as two-valued. Thirdly we analyze the principle of bivalence and show that it appears at a deeper level than one usually thinks
Keywords
multivalued logic; bivalence; logical matrix theory; many-valued logic;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1997. Proceedings., 1997 27th International Symposium on
Conference_Location
Antigonish, NS
Print_ISBN
0-8186-7910-7
Type
conf
DOI
10.1109/ISMVL.1997.601384
Filename
601384
Link To Document