Bunched sequential information

DOI10.1016/J.JAL.2016.02.003zbMath1436.03144OpenAlexW2281434313MaRDI QIDQ266883

Norihiro Kamide

Publication date: 7 April 2016

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2016.02.003

zbMATH Keywords

completeness theoremcut-elimination theoremlogic BI of bunched implicationssequential information

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Unnamed Item
• Unnamed Item
• Temporal BI: proof system, semantics and translations
• Linear logic
• A calculus and logic of resources and processes
• The logic of information structures
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• On arithmetical first-order theories allowing encoding and decoding of lists
• Dynamic non-commutative logic
• Linear and affine logics with temporal, spatial and epistemic operators
• The semantics and proof theory of the logic of bunched implications
• Reasoning about Resources and Information: A Linear Logic Approach
• Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
• The semantics of BI and resource tableaux
• Algebra and logic for resource-based systems modelling
• A Logical and Computational Theory of Located Resource
• Algebraic laws for nondeterminism and concurrency
• The Logic of Bunched Implications
• Semantic Labelled Tableaux for Propositional BI
• On bunched typing
• BI as an assertion language for mutable data structures
• Resource-distribution via Boolean constraints
• Solution to a problem of Ono and Komori

This page was built for publication: Bunched sequential information