Natural deduction for dual-intuitionistic logic

DOI10.1007/s11225-012-9417-8zbMath1266.03019MaRDI 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 deduction; dual-intuitionistic logic; multiple conclusion rules

Mathematics Subject Classification ID

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

Related Items

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

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