Dual-intuitionistic logic

DOI10.1305/ndjfl/1039886520zbMath0869.03008OpenAlexW2058093611MaRDI QIDQ1355125

Igor Urbas

Publication date: 2 September 1997

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039886520

zbMATH Keywords

dualitydecidabilitycut-eliminationpseudo-differencedual of intuitionistic implicationGentzen's intuitionistic sequent system \({\mathbf L}{\mathbf J}\)sequent system \({\mathbf L}{\mathbf D}{\mathbf J}\)Set Theory with Unrestricted Comprehension Schema

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Nonclassical and second-order set theories (03E70) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Revisiting da Costa logic ⋮ Equality and Apartness in Bi-intuitinistic Logic ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Proof-theoretic pluralism ⋮ Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation ⋮ Natural deduction for bi-intuitionistic logic ⋮ Proof theory and mathematical meaning of paraconsistent C-systems ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5 ⋮ First-order da Costa logic ⋮ The original sin of proof-theoretic semantics ⋮ Restall's proof-theoretic pluralism and relevance logic ⋮ Pragmatic and dialogic interpretations of bi-intuitionism. Part I ⋮ Weakening and extending \(\mathbb{Z}\) ⋮ Classical realizability in the CPS target language ⋮ 2002–2003 Winter Meeting of the Association for Symbolic Logic ⋮ Natural deduction for dual-intuitionistic logic ⋮ A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC ⋮ LK, LJ, dual intuitionistic logic, and quantum logic ⋮ Anti-intuitionism and paraconsistency ⋮ First Degree Entailment, Symmetry and Paradox ⋮ Constructive negation, implication, and co-implication ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ Round Squares Are No Contradictions (Tutorial on Negation Contradiction and Opposition) ⋮ The Evil Twin: The Basics of Complement-Toposes ⋮ Falsification-aware semantics and sequent calculi for classical logic ⋮ Emptiness and Discharge in Sequent Calculus and Natural Deduction ⋮ Dual intuitionistic logic and a variety of negations: the logic of scientific research ⋮ Structuring co-constructive logic for proofs and refutations

Cites Work

• A remark on Gentzen's calculus of sequents
• The Logic of Contradiction
• Unnamed Item
• Unnamed Item