Proof search in a context-sensitive logic for molecular biology

DOI10.1093/LOGCOM/EXY028zbMATH Open1444.03171OpenAlexW2895726022WikidataQ129322538 ScholiaQ129322538MaRDI QIDQ4612450FDOQ4612450

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

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

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)

Cited In (3)

• Title not available (Why is that?)
• Adding logic to the toolbox of molecular biology
• (Mathematical) logic for systems biology (invited paper)

Uses Software

• OTTER
• Haskell
• Zsyntax

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)