{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/zsyntax","name":"zsyntax","description":"An automated theorem prover for Zsyntax, a\nlogical calculus for molecular biology inspired by linear logic,\nthat can be used to automatically verify biological\npathways expressed as logical sequents.\nThe prover implements automatic proof search for the\nZsyntax sequent calculus (ZBS), a logical calculus for\na context-sensitive fragment of multiplicative linear\nlogic where sequents are decorated so to account for\nthe biochemical constraints.\nThe theory behind the Zsyntax sequent calculus and its\nproof search procedure is developed in F. Sestini,\nS. Crafa, Proof-search in a context-sensitive logic\nfor molecular biology, Journal of Logic and\nComputation, 2018\n(https://doi.org/10.1093/logcom/exy028).","version":"0.2.0.0","softwareVersion":"0.2.0.0","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/fsestini/zsyntax","issueTracker":"https://github.com/fsestini/zsyntax/issues","url":"https://github.com/fsestini/zsyntax#readme","keywords":["bioinformatics","bsd3","library","logic","theorem-provers","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"fsestini"}],"author":[{"@type":"Person","name":"fsestini"}],"copyrightHolder":[{"@type":"Person","name":"fsestini"}],"dateCreated":"2018-12-15","dateModified":"2018-12-15","datePublished":"2018-12-15","copyrightYear":2018,"downloadUrl":"https://hackage.haskell.org/package/zsyntax-0.2.0.0/zsyntax-0.2.0.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/zsyntax"],"https://www.w3.org/ns/activitystreams#likes":12}