Combining Soft Linear Logic and Spatio-temporal Operators
DOI10.1093/LOGCOM/14.5.625zbMATH Open1069.03017OpenAlexW2030878450MaRDI QIDQ4659503FDOQ4659503
Authors: 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
Recommendations
sequent calculusresource-sensitive reasoningPetri net interpretationspatio-temporal operatorsspatio-temporal soft linear logic
Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (5)
- Temporal BI: proof system, semantics and translations
- Linear and affine logics with temporal, spatial and epistemic operators
- Towards a theory of resource: an approach based on soft exponentials
- Gentzen-type methods for bilattice negation
- Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials
This page was built for publication: Combining Soft Linear Logic and Spatio-temporal Operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4659503)