Semantic Labelled Tableaux for Propositional BI

DOI10.1093/LOGCOM/13.5.707zbMATH Open1041.03047OpenAlexW2043220080MaRDI QIDQ4444937FDOQ4444937

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

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

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)

Cited In (9)

• Bunched sequential information
• Temporal BI: proof system, semantics and translations
• Focused proof-search in the logic of bunched implications
• Title not available (Why is that?)
• Hybridizing a logical framework
• The semantics of BI and resource tableaux
• Title not available (Why is that?)
• Title not available (Why is that?)
• Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding

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)