Algebraization of Jaśkowski’s Paraconsistent Logic D2
2015 ◽
Vol 42
(1)
◽
pp. 173-193
◽
Abstract The aim of this paper is to present an algebraic approach to Jaśkowski’s paraconsistent logic D2. We present: a D2-discursive algebra, Lindenbaum- Tarski algebra for D2 and D2-matrices. The analysis is mainly based on the results obtained by Jerzy Kotas in the 70s.
Keyword(s):
2019 ◽
Vol 38
(4)
◽
pp. 817-850
◽
Keyword(s):