Proof search in a context-sensitive logic for molecular biology

DOI10.1093/logcom/exy028zbMath1444.03171OpenAlexW2895726022WikidataQ129322538 ScholiaQ129322538MaRDI QIDQ4612450

Silvia Crafa, Filippo Sestini

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 logicnon-monotonicityproof searchbiochemical pathwayslabeled 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)

Uses Software

• OTTER
• Haskell
• Zsyntax

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