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

biochemical pathwayslabeled deductionslinear logicnon-monotonicityproof search

Mathematics Subject Classification ID

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

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

(4)

• Adding logic to the toolbox of molecular biology
• (Mathematical) logic for systems biology (invited paper)
• scientific article; zbMATH DE number 7453108 (Why is no real title available?)
• Molecular biology meets logic: context-sensitiveness in focus

Describes a project that uses

Uses Software

• Haskell
• Zsyntax
• 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)