Proof search in a context-sensitive logic for molecular biology

DOI10.1093/LOGCOM/EXY028MaRDI QIDQ4612450zbMATH OpenOpenAlexWikidataFDO

Authors Filippo Sestini, Silvia Crafa

Publication date 31 January 2019

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exy028

zbMATH Keywords

linear logicbiochemical pathwaysnon-monotonicityproof searchlabeled deductions

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• (Mathematical) logic for systems biology (invited paper)
• Adding logic to the toolbox of molecular biology
• A logic of non-monotonic interactions
• A logical framework for systems biology
• scientific article; zbMATH DE number 2242591

Cited in

(3)

• scientific article; zbMATH DE number 7453108 (Why is no real title available?)
• Adding logic to the toolbox of molecular biology
• (Mathematical) logic for systems biology (invited paper)

Describes a project that uses

Uses Software

• Zsyntax
• Haskell
• OTTER

This page was built for publication: Proof search in a context-sensitive logic for molecular biology

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