Natural deduction for bi-intuitionistic logic
From MaRDI portal
Publication:1693596
DOI10.1016/j.jal.2017.12.001zbMath1436.03095OpenAlexW2773341309MaRDI QIDQ1693596
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
Related Items (1)
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
