Title :
What is many-valued logic?
Author :
Beziau, Jean-Yves
Author_Institution :
Nat. Lab. for Sci. Comput., Rio de Janeiro, Brazil
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;
Conference_Titel :
Multiple-Valued Logic, 1997. Proceedings., 1997 27th International Symposium on
Conference_Location :
Antigonish, NS
Print_ISBN :
0-8186-7910-7
DOI :
10.1109/ISMVL.1997.601384
