Semantic Labelled Tableaux for Propositional BI

DOI10.1093/LOGCOM/13.5.707MaRDI QIDQ4444937zbMATHOpenAlexFDO

Authors Didier Galmiche, Daniel Méry

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

semanticsintuitionistic linear logiclabelled deductiontableau methodBI-logic

Mathematics Subject Classification ID

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

Recommendations

• Labelled tableau systems for some subintuitionistic logics
• Labelled tableaux for interpretability logics
• scientific article; zbMATH DE number 1538059
• Tableaux for logics of content relationship and set-assignment semantics
• Labelled tableau calculi for weak modal logics
• On the relative complexity of labelled modal tableaux
• Labelled tableaux for propositional linear time logic over finite frames
• Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
• Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents
• scientific article; zbMATH DE number 1844496

Cited in

(14)

• Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding
• Labelled tableaux for linear time bunched implication logic
• A labelled sequent calculus for BBI: proof theory and proof search
• Hybridizing a logical framework
• Relating labelled and label-free bunched calculi in BI logic
• scientific article; zbMATH DE number 1948162 (Why is no real title available?)
• A modal BI logic for dynamic resource properties
• The formal strong completeness of partial monoidal Boolean BI
• scientific article; zbMATH DE number 2242591 (Why is no real title available?)
• scientific article; zbMATH DE number 2090291 (Why is no real title available?)
• The semantics of BI and resource tableaux
• Temporal BI: proof system, semantics and translations
• Bunched sequential information
• Focused proof-search in the logic of bunched implications

Describes a project that uses

Uses Software

• STRIP

This page was built for publication: Semantic Labelled Tableaux for Propositional BI

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