Adding logic to the toolbox of molecular biology

DOI10.1007/s13194-015-0118-9zbMath1382.03055OpenAlexW2173004413MaRDI QIDQ1705298

Gabriele Pulcini, Mario Piazza, Marcello D'Agostino, Giovanni Boniolo

Publication date: 15 March 2018

Published in: European Journal for Philosophy of Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11392/2327748

zbMATH Keywords

natural deductionsubstructural logicsCurry-Howard isomorphismbiochemical pathwaysstate transitionszsyntax

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Combinatory logic and lambda calculus (03B40) Other applications of logic (03B80)

Uses Software

• Coq
• Zsyntax

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of empirical theories revisited
• A logical calculus for controlled monotonicity
• Linear logic
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Abductive reasoning. Logical investigations into discovery and explanation
• Notes on the philosophical status of nuclear physics
• Formal molecular biology
• A logic of non-monotonic interactions
• Two methods of characterizing the visibility of a moving point
• Exchange rules
• Logical Pluralism
• Functionality in Combinatory Logic

This page was built for publication: Adding logic to the toolbox of molecular biology