Focused proof-search in the logic of bunched implications
From MaRDI portal
Publication:2233409
Recommendations
- The semantics and proof theory of the logic of bunched implications
- Formalised Inductive Reasoning in the Logic of Bunched Implications
- scientific article; zbMATH DE number 1390270
- scientific article; zbMATH DE number 1753197
- Logic for Programming, Artificial Intelligence, and Reasoning
- Focused proof search for linear logic in the calculus of structures
- scientific article; zbMATH DE number 1231702
- Proof search in nested sequent calculi
- scientific article; zbMATH DE number 1348467
- scientific article; zbMATH DE number 1696800
Cites work
- scientific article; zbMATH DE number 3628358 (Why is no real title available?)
- scientific article; zbMATH DE number 1765675 (Why is no real title available?)
- scientific article; zbMATH DE number 6863660 (Why is no real title available?)
- scientific article; zbMATH DE number 2090291 (Why is no real title available?)
- scientific article; zbMATH DE number 3333259 (Why is no real title available?)
- scientific article; zbMATH DE number 2242591 (Why is no real title available?)
- A Logical Characterization of Forward and Backward Chaining in the Inverse Method
- A formal framework for specifying sequent calculus proof systems
- A unified display proof theory for bunched logic
- Algebraic proof theory for substructural logics: cut-elimination and completions
- Bunched hypersequent calculi for distributive substructural logics
- Classical BI: Its Semantics and Proof Theory
- Decision problems for propositional linear logic
- Extended Kripke lemma and decidability for hypersequent substructural logics
- Focused and Synthetic Nested Sequents
- Focusing and polarization in linear, intuitionistic, and classical logics
- Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic
- Linear logic
- Logic Programming with Focusing Proofs in Linear Logic
- Logic for Programming, Artificial Intelligence, and Reasoning
- Logical Approaches to Computational Barriers
- Modular focused proof systems for intuitionistic modal logics
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Relating labelled and label-free bunched calculi in BI logic
- Semantic Labelled Tableaux for Propositional BI
- The Logic of Bunched Implications
- The semantics and proof theory of the logic of bunched implications
- The semantics of BI and resource tableaux
- Uniform proofs as a foundation for logic programming
Cited in
(5)- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
- Formalised Inductive Reasoning in the Logic of Bunched Implications
- Non-associative, non-commutative multi-modal linear logic
- Explorations in Subexponential Non-associative Non-commutative Linear Logic
- Semantical analysis of the logic of bunched implications
This page was built for publication: Focused proof-search in the logic of bunched implications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2233409)
