Correspondence analysis for strong three-valued logic
2014 ◽
Vol 20
◽
pp. 253-266
◽
Keyword(s):
I apply Kooi and Tamminga’s (2012) idea of correspondence analysis for many-valued logics to strong three-valued logic (K3). First, I characterize each possible single entry in the truth-table of a unary or a binary truth-functional operator that could be added to K3 by a basic inference scheme. Second, I define a class of natural deduction systems on the basis of these charac- terizing basic inference schemes and a natural deduction system for K3. Third, I show that each of the resulting natural deduction systems is sound and complete with respect to its particular semantics. Among other things, I thus obtain a new proof system for _ukasiewicz’s three-valued logic.
2012 ◽
Vol 5
(4)
◽
pp. 720-730
◽
2017 ◽
Vol 10
(4)
◽
pp. 756-781
◽
2001 ◽
pp. 1-18
◽
2012 ◽
Vol 21
(1)
◽
pp. 1-24
◽
2018 ◽
Vol 28
(6)
◽
pp. 1125-1187
◽
Keyword(s):
2017 ◽
Vol 72
(3)
◽
pp. 133-136
◽