Semantic Labelled Tableaux for Propositional BI

DOI10.1093/LOGCOM/13.5.707MaRDI QIDQ4444937zbMATH OpenOpenAlexFDO

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

BI-logicintuitionistic linear logiclabelled deductionsemanticstableau method

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

(16)

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

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)