Natural deduction for bi-intuitionistic logic
type: Item
instance of: scholarly article
title: Natural deduction for bi-intuitionistic logic
zbMATH Open document ID: 1436.03095
author: Luca Tranchini
published in: Journal of Applied Logic
publication date: 2018-01-31T00:00:00Z
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 6832784
zbMATH Keywords: multiple-conclusion
zbMATH Keywords: refutation
zbMATH Keywords: proofnet
zbMATH Keywords: co-implication
MaRDI profile type: Publication
full work available at URL: j.jal.2017.12.001
OpenAlex ID: W2773341309
cites work: A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
cites work: Subtractive logic
cites work: A Formulae-as-Types Interpretation of Subtractive Logic
cites work: Q4039813
cites work: Linear logic
cites work: The Logic of Contradiction
cites work: Q2721200
cites work: Q3086939
cites work: Proof of the independence of the primitive symbols of Heyting's calculus of propositions
cites work: Classical harmony: Rules of inference and the meaning of the logical constants
cites work: Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents
cites work: Q4964699
cites work: Q5632554
cites work: Intuitionistic N-Graphs
cites work: A formalization of the propositional calculus of H-B logic
cites work: Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
cites work: Applications of Kripke models to Heyting-Brouwer logic
cites work: Normal proofs, cut free derivations and structural rules
cites work: Q4159022
cites work: Natural deduction for dual-intuitionistic logic
cites work: Q4716271
cites work: Q4877107
cites work: Dual-intuitionistic logic
cites work: Constructive negation, implication, and co-implication
cites work: Falsification, natural deduction and bi-intuitionistic logic
cites work: A more general general proof theory
cites work: On logics with coimplication
DOI: 10.1016/J.JAL.2017.12.001
description: scientific article; zbMATH DE number 6832784