Five Gap and Glut Logics
Logic
Truth Values
Designated
Conditional
FOL
T
,
F
T
classical →
Ł3
T
,
N
,
F
T
→
Łuk
RM3
T
,
B
,
F
T
,
B
→
Łuk
A3
T
,
B
,
F
T
,
B
→
cmi
FDE
→
Łuk
T
,
B
,
N
,
F
T
,
B
→
Łuk
FDE
→
cmi
T
,
B
,
N
,
F
T
,
B
→
cmi
Sublogics
FOL ⊃ Ł3
FOL ⊃ RM3
FOL ⊃ A3 ⊃ FDE
→
cmi
