Semantic Labelled Tableaux for Propositional BI

DOI10.1093/logcom/13.5.707zbMath1041.03047OpenAlexW2043220080MaRDI QIDQ4444937

Daniel Méry, Didier Galmiche

Publication date: 28 January 2004

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/13.5.707

zbMATH Keywords

semanticstableau methodintuitionistic linear logiclabelled deductionBI-logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Bunched sequential information, Temporal BI: proof system, semantics and translations, Focused proof-search in the logic of bunched implications, Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding, Hybridizing a Logical Framework

Uses Software

• STRIP