Natural deduction for bi-intuitionistic logic

DOI10.1016/j.jal.2017.12.001zbMath1436.03095OpenAlexW2773341309MaRDI QIDQ1693596

Luca Tranchini

Publication date: 31 January 2018

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2017.12.001

zbMATH Keywords

co-implicationrefutationmultiple-conclusionproofnet

Mathematics Subject Classification ID

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

Related Items (1)

Hennessy-Milner properties via topological compactness

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Natural deduction for dual-intuitionistic logic
• Applications of Kripke models to Heyting-Brouwer logic
• On logics with coimplication
• Classical harmony: Rules of inference and the meaning of the logical constants
• Dual-intuitionistic logic
• A more general general proof theory
• A formalization of the propositional calculus of H-B logic
• Normal proofs, cut free derivations and structural rules
• Falsification, natural deduction and bi-intuitionistic logic
• Constructive negation, implication, and co-implication
• Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents
• The Logic of Contradiction
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• A Formulae-as-Types Interpretation of Subtractive Logic
• Intuitionistic N-Graphs
• A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
• Proof of the independence of the primitive symbols of Heyting's calculus of propositions
• Subtractive logic

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