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.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.