A logic of non-monotonic interactions

DOI10.1016/J.JAL.2012.09.002zbMath1270.03125OpenAlexW2077566522MaRDI QIDQ1948286

Giovanni Boniolo, Gabriele Pulcini, Mario Piazza, Marcello D'Agostino

Publication date: 2 May 2013

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2012.09.002

zbMATH Keywords

substructural logicsmolecular biologynonmonotonicityproof-netsbiochemical applicationscontext-sensitive interactionslogic of nonmonotonic interactionsmultiplicative polarised fragment of linear logicnon-associative sequent calculiZsyntax

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

Adding logic to the toolbox of molecular biology ⋮ A logical calculus for controlled monotonicity

This page was built for publication: A logic of non-monotonic interactions