On Priest's logic of paradox

DOI10.1080/11663081.1995.10510856MaRDI QIDQ4868229zbMATH OpenOpenAlexFDO

Authors A. P. Pyn'ko

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

de Morgan latticeformula algebraKleene latticelogic of paradoxlogical matrixparaconsistent logicstructural consequence operation

Mathematics Subject Classification ID

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

Recommendations

• Minimally inconsistent LP
• Conjunction in paraconsistent weak Kleene logic
• Yes, Virginia, there really are paraconsistent logics

Cites work

• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• On Priest's logic of paradox
• To be and not to be: Dialectical tense logic

Cited in

(36)

• Minimally inconsistent LP
• 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\)
• Four-valued logics of truth, nonfalsity, exact truth, and material equivalence
• Containment logics: algebraic completeness and axiomatization
• Representation of De Morgan and (semi-)Kleene lattices
• Trivial Dialetheism and the Logic of Paradox
• Reassurance for the logic of paradox
• Priest’s Anti-Exceptionalism, Candrakīrti and Paraconsistency
• Looting liars masking models
• Variations on the collapsing lemma
• GP's LP
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Subprevarieties versus extensions. Application to the logic of paradox
• scientific article; zbMATH DE number 1746567 (Why is no real title available?)
• An infinity of super-Belnap logics
• scientific article; zbMATH DE number 823608 (Why is no real title available?)
• On Priest's logic of paradox
• Why Priest's reassurance is not reassuring
• Four-valued expansions of Dunn-Belnap's logic. I: Basic characterizations
• Minimally Nonstandard K3 and FDE
• Ordered pair semantics and negation in LP
• A brief note on Béziau's ``Rather trivial theorem about LP
• Remarks on naive set theory based on \(\mathbf{LP}\)
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• n-valued maximal paraconsistent matrices
• Obtaining infinitely many degrees of inconsistency by adding a strictly paraconsistent negation to classical logic
• A logical modeling of severe ignorance
• Editorial introduction
• Indicative conditionals: some algebraic considerations
• Algebras of intervals and a logic of conditional assertions
• Towards a quantum logic of paradox
• A relative interpolation theorem for infinitary universal Horn logic and its applications
• De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics

This page was built for publication: On Priest's logic of paradox

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4868229)