On Priest's logic of paradox

DOI10.1080/11663081.1995.10510856zbMath0841.03008MaRDI QIDQ4868229

Alexej P. Pynko

Publication date: 6 March 1996

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1995.10510856

zbMATH Keywords

paraconsistent logic; Kleene lattice; logical matrix; logic of paradox; structural consequence operation; de Morgan lattice; formula algebra

Mathematics Subject Classification ID

03G10: Logical aspects of lattices and related structures

06D30: De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects)

03B22: Abstract deductive systems

03B53: Paraconsistent logics

Related Items

Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions, Subprevarieties versus extensions. Application to the logic of paradox, An infinity of super-Belnap logics, On Priest's logic of paradox, n-valued maximal paraconsistent matrices, On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis, Algebras of intervals and a logic of conditional assertions, A relative interpolation theorem for infinitary universal Horn logic and its applications, Implicational classes of De Morgan lattices, Definitional equivalence and algebraizability of generalized logical systems, An algebraic view of super-Belnap logics, The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\)

Cites Work

• To be and not to be: Dialectical tense logic
• On Priest's logic of paradox
• Unnamed Item