Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials

DOI10.1007/978-3-540-87803-2_21zbMath1178.03078OpenAlexW1547902940MaRDI QIDQ3532470

Norihiro Kamide

Publication date: 27 October 2008

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-87803-2_21

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

Dynamic non-commutative logic

Cites Work

• Unnamed Item
• Linear logic
• A decidable fragment of predicate calculus
• Predicate logics without the structure rules
• The contraction rule and decision problems for logics without structural rules
• A decision procedure revisited: Notes on direct logic, linear logic and its implementation
• Decision problems for propositional linear logic
• Bounded linear logic: A modular approach to polynomial-time computability
• The logic of information structures
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Soft linear logic and polynomial time
• Towards a theory of resource: an approach based on soft exponentials
• Combining Soft Linear Logic and Spatio-temporal Operators

This page was built for publication: Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials