On Priest's logic of paradox

DOI10.1080/11663081.1995.10510856zbMath0841.03008OpenAlexW2051471664MaRDI 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 logicKleene latticelogical matrixlogic of paradoxstructural consequence operationde Morgan latticeformula algebra

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Abstract deductive systems (03B22) Paraconsistent logics (03B53)

Related Items

A relative interpolation theorem for infinitary universal Horn logic and its applications ⋮ De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics ⋮ Representation of De Morgan and (semi-)Kleene lattices ⋮ An infinity of super-Belnap logics ⋮ An algebraic view of super-Belnap logics ⋮ A logical modeling of severe ignorance ⋮ On Priest's logic of paradox ⋮ The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) ⋮ n-valued maximal paraconsistent matrices ⋮ Four-valued logics of truth, nonfalsity, exact truth, and material equivalence ⋮ On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis ⋮ Algebras of intervals and a logic of conditional assertions ⋮ Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions ⋮ Containment logics: algebraic completeness and axiomatization ⋮ Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations ⋮ Implicational classes of De Morgan lattices ⋮ Definitional equivalence and algebraizability of generalized logical systems ⋮ Subprevarieties versus extensions. Application to the logic of paradox

Cites Work

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