A graphical proof theory of logical time

DOI10.4230/LIPICS.FSCD.2022.22MaRDI QIDQ6544117zbMATH OpenFDO

Authors Matteo Acclavio, Ross Horne, Sjouke Mauw, Lutz Straßburger

Publication date 27 May 2024

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2022.22

zbMATH Keywords

causalitydeep inferenceproof theory

Mathematics Subject Classification ID

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)

Recommendations

• Logical time in distributed software systems
• A spatial logic for concurrency. II
• Formal timing analysis of distributed systems
• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
• A logic characteristic for timed extensions of partial order based equivalences

Cited in

(3)

• Intuitionistic BV
• Logic programming with multiplicative structures
• Sequent systems on undirected graphs

This page was built for publication: A graphical proof theory of logical time

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6544117)