The Logic of Contradiction

DOI10.1002/MALQ.19810270803zbMATH Open0467.03019OpenAlexW2135986646MaRDI QIDQ3919679FDOQ3919679

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 semanticsKripke structuresBrouwerian algebrasRussell's paradoxanti-intuitionistic logicanti-intuitionistic set theory

Mathematics Subject Classification ID

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

Cited In (25)

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

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)