RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
2010 ◽
Vol 3
(1)
◽
pp. 41-70
◽
Keyword(s):
Sound and complete semantics for classical propositional logic can be obtained by interpreting sentences as sets. Replacing sets with commuting dense binary relations produces an interpretation that turns out to be sound but not complete for R. Adding transitivity yields sound and complete semantics for RM, because all normal Sugihara matrices are representable as algebras of binary relations.
2018 ◽
Vol 13
(1)
◽
pp. 141-205
◽
2010 ◽
Vol 4
(1)
◽
pp. 81-105
◽
Keyword(s):
2011 ◽
Vol 403-408
◽
pp. 1460-1465
1981 ◽
Vol 10
(4)
◽
pp. 399-408
◽