A logic of non-monotonic interactions
DOI10.1016/J.JAL.2012.09.002zbMATH Open1270.03125OpenAlexW2077566522MaRDI QIDQ1948286FDOQ1948286
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
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
substructural logicsnonmonotonicitymolecular biologyproof-netsbiochemical applicationscontext-sensitive interactionslogic of nonmonotonic interactionsmultiplicative polarised fragment of linear logicnon-associative sequent calculiZsyntax
Biochemistry, molecular biology (92C40) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
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)