Process-Algebraic Interpretations of Positive Linear and Relevant Logics

DOI10.1093/logcom/4.6.939zbMath0810.03025OpenAlexW2024962155MaRDI QIDQ4323010

Mads Dam

Publication date: 20 April 1995

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

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

zbMATH Keywords

modal logicprocess algebralinear logicrelevant logicaxiomatizationsdynamic behaviourprogram logicscompositionitystatic process structuresynchronous process calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (5)

Linear and affine logics with temporal, spatial and epistemic operators ⋮ Conjunction on processes: Full abstraction via ready-tree semantics ⋮ Normal modal substructural logics with strong negation ⋮ Relating reasoning methodologies in linear logic and process algebra ⋮ Phase semantics and Petri net interpretation for resource-sensitive strong negation

This page was built for publication: Process-Algebraic Interpretations of Positive Linear and Relevant Logics