hackage.haskell.org : zsyntax
An automated theorem prover for Zsyntax, a logical calculus for molecular biology inspired by linear logic, that can be used to automatically verify biological pathways expressed as logical sequents. The prover implements automatic proof search for the Zsyntax sequent calculus (ZBS), a logical calculus for a context-sensitive fragment of multiplicative linear logic where sequents are decorated so to account for the biochemical constraints. The theory behind the Zsyntax sequent calculus and its proof search procedure is developed in F. Sestini, S. Crafa, Proof-search in a context-sensitive logic for molecular biology, Journal of Logic and Computation, 2018 (https://doi.org/10.1093/logcom/exy028).
Registry
-
Source
- Homepage
- JSON
- codemeta.json
purl: pkg:hackage/zsyntax
Keywords:
bioinformatics
, bsd3
, library
, logic
, theorem-provers
, Propose Tags
, automated-deduction
, linear-logic
, molecular-biology
, theorem-proving
License: BSD-3-Clause
Latest release: about 7 years ago
First release: about 7 years ago
Dependent repositories: 1
Downloads: 568 total
Stars: 12 on GitHub
Forks: 0 on GitHub
Total Commits: 663
Committers: 1
Average commits per author: 663.0
Development Distribution Score (DDS): 0.0
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: about 1 month ago