Combining Soft Linear Logic and Spatio-temporal Operators

DOI10.1093/logcom/14.5.625zbMath1069.03017OpenAlexW2030878450MaRDI QIDQ4659503

Norihiro Kamide

Publication date: 21 March 2005

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/14.5.625

zbMATH Keywords

sequent calculusresource-sensitive reasoningPetri net interpretationspatio-temporal operatorsspatio-temporal soft linear logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (5)

Linear and affine logics with temporal, spatial and epistemic operators ⋮ Temporal BI: proof system, semantics and translations ⋮ Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials ⋮ Towards a theory of resource: an approach based on soft exponentials ⋮ Gentzen-type methods for bilattice negation

This page was built for publication: Combining Soft Linear Logic and Spatio-temporal Operators