Dual-intuitionistic logic

DOI10.1305/NDJFL/1039886520zbMATH Open0869.03008OpenAlexW2058093611MaRDI QIDQ1355125FDOQ1355125

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) Subsystems of classical logic (including intuitionistic logic) (03B20) Nonclassical and second-order set theories (03E70)

Cites Work

• The Logic of Contradiction
• A remark on Gentzen's calculus of sequents
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (33)

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

Recommendations

• A note on dual-intuitionistic logic 👍 👎
• Natural deduction for dual-intuitionistic logic 👍 👎
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC 👍 👎
• Duality in Logic and Computation 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Dual-intuitionistic logic

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