Natural deduction for dual-intuitionistic logic

DOI10.1007/s11225-012-9417-8zbMath1266.03019OpenAlexW1982413486MaRDI QIDQ694491

Luca Tranchini

Publication date: 12 December 2012

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9417-8

zbMATH Keywords

natural deductiondual-intuitionistic logicmultiple conclusion rules

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Equality and Apartness in Bi-intuitinistic Logic ⋮ A more general general proof theory ⋮ Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation ⋮ Reprint of: ``A more general general proof theory ⋮ Natural deduction for bi-intuitionistic logic ⋮ Pragmatic and dialogic interpretations of bi-intuitionism. Part I ⋮ A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC ⋮ Prawitz, Proofs, and Meaning ⋮ Single-assumption systems in proof-theoretic semantics ⋮ Emptiness and Discharge in Sequent Calculus and Natural Deduction

Cites Work

• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• On logics with coimplication
• Dual-intuitionistic logic
• A formalization of the propositional calculus of H-B logic
• Validity concepts in proof-theoretic semantics
• Constructive negation, implication, and co-implication
• The Logic of Contradiction
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• A note on dual-intuitionistic logic
• Subtractive logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item