A logic of non-monotonic interactions

DOI10.1016/J.JAL.2012.09.002MaRDI QIDQ1948286zbMATH OpenOpenAlexFDO

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

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 logicsnonmonotonicitymolecular biologyproof-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)

Recommendations

• scientific article; zbMATH DE number 2079521
• A nonmonotonic observation logic
• A New Perspective on Nonmonotonic Logics
• Logic of non-monotonic interactive proofs
• Non-monotonic reasoning with logic programming
• A non-preferential semantics of non-monotonic modal logic
• On the intertranslatability of non-monotonic logics
• scientific article; zbMATH DE number 4047198
• Modal logic based theory for non-monotonic reasoning
• scientific article; zbMATH DE number 6131588

Cited in

(7)

• Proof search in a context-sensitive logic for molecular biology
• A theory of nonmonotonic rule systems I
• Interface of global and local semantics in a self-navigating system based on the concept lattice
• A logical calculus for controlled monotonicity
• Unifying logics via context-sensitiveness
• Drug Interaction Ontology (DIO) and the Resource-Sensitive Logical Inferences
• Adding logic to the toolbox of molecular biology

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

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