Natural deduction for dual-intuitionistic logic

DOI10.1007/S11225-012-9417-8MaRDI QIDQ694491zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Natural deduction for bi-intuitionistic logic
• An alternative natural deduction for the intuitionistic propositional logic
• Natural deduction for Post's logics and their duals
• scientific article; zbMATH DE number 1612555
• A note on dual-intuitionistic logic

Cites work

• scientific article; zbMATH DE number 1612555 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• scientific article; zbMATH DE number 3412605 (Why is no real title available?)
• A formalization of the propositional calculus of H-B logic
• A note on dual-intuitionistic logic
• Constructive negation, implication, and co-implication
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Dual-intuitionistic logic
• On logics with coimplication
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• Subtractive logic
• The Logic of Contradiction
• Validity concepts in proof-theoretic semantics

Cited in

(30)

• Natural deduction for Post's logics and their duals
• Natural deduction for non-classical logics
• Natural deduction for intuitionistic linear logic
• Natural deduction for the finite least fixed point logic with an infinitary rule
• Natural duality as a tool to study algebras arising from logics
• Prawitz, Proofs, and Meaning
• A more general general proof theory
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• Dual-intuitionistic logic
• ADC method of proof search for intuitionistic propositional natural deduction
• 2-Sequent Calculus: Intuitionism and Natural Deduction
• scientific article; zbMATH DE number 1612555 (Why is no real title available?)
• Harmony in multiple-conclusion natural-deduction
• Pragmatic and dialogic interpretations of bi-intuitionism. I
• scientific article; zbMATH DE number 517068 (Why is no real title available?)
• Intuitionistic dual-intuitionistic nets
• Notions of Proof and Refutation in ‘Gentzensemantik’: Franz von Kutschera as an Early Proponent of (Bilateralist) Proof-Theoretic Semantics
• Emptiness and discharge in sequent calculus and natural deduction
• Equality and Apartness in Bi-intuitinistic Logic
• A reconstruction of ex falso quodlibet via quasi-multiple-conclusion natural deduction
• Deductive systems with unified multiple-conclusion rules
• scientific article; zbMATH DE number 1735833 (Why is no real title available?)
• scientific article; zbMATH DE number 3902624 (Why is no real title available?)
• Reprint of: ``A more general general proof theory
• Single-assumption systems in proof-theoretic semantics
• scientific article; zbMATH DE number 7599926 (Why is no real title available?)
• An alternative natural deduction for the intuitionistic propositional logic
• A note on dual-intuitionistic logic
• Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation
• Natural deduction for bi-intuitionistic logic

This page was built for publication: Natural deduction for dual-intuitionistic logic

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