The Logic of Contradiction

DOI10.1002/MALQ.19810270803MaRDI QIDQ3919679zbMATH OpenOpenAlexFDO

Authors Nicolas D. Goodman

Publication date 1981

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19810270803

zbMATH Keywords

algebraic semanticsanti-intuitionistic logicanti-intuitionistic set theoryBrouwerian algebrasKripke structuresRussell's paradox

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Nonclassical and second-order set theories (03E70)

Cited in

(29)

• Dual-intuitionistic logic
• Natural deduction for bi-intuitionistic logic
• A Yabloesque paradox in epistemic game theory
• Anti-intuitionism and paraconsistency
• Falsification-aware semantics and sequent calculi for classical logic
• On the unity of duality
• Structuring co-constructive logic for proofs and refutations
• Pragmatic and dialogic interpretations of bi-intuitionism. I
• Paraconsistency properties in degree-preserving fuzzy logics
• Modulated fibring and the collapsing problem
• Some topological properties of paraconsistent models
• The evil twin: the basics of complement-toposes
• Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗
• LK, LJ, dual intuitionistic logic, and quantum logic
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
• Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation
• Falsification-aware calculi and semantics for normal modal logics including S4 and S5
• Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
• Mortensen logics
• Notions of Proof and Refutation in ‘Gentzensemantik’: Franz von Kutschera as an Early Proponent of (Bilateralist) Proof-Theoretic Semantics
• Symmetric and conflated intuitionistic logics
• Real analysis in paraconsistent logic
• Natural deduction for dual-intuitionistic logic
• On duality of logical systems: paralogics
• Dual counterpart intuitionistic logic
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Truth and meaning

This page was built for publication: The Logic of Contradiction

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