A Logical Calculus for Modelling Interferences

DOI10.1007/978-3-540-75292-9_15MaRDI QIDQ3525086zbMATH OpenOpenAlexFDO

Authors Christophe Fouqueré

Publication date 17 September 2008

Published in Theoretical Aspects of Computing – ICTAC 2007 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75292-9_15

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• A Calculus for Log-Convex Interference Functions
• Intersection logic in sequent calculus style
• scientific article; zbMATH DE number 786491
• scientific article; zbMATH DE number 972583
• Interaction nets for linear logic
• On interference abstractions
• A logical process calculus
• Computing interpolants in implicational logics
• Sequent Calculi for Multi-modal Logic with Interaction
• Syntactic control of interference for separation logic

Cited in

(1)

• Linearity and passivity

This page was built for publication: A Logical Calculus for Modelling Interferences

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