Molecular biology meets logic: context-sensitiveness in focus

DOI10.1007/S10699-021-09789-YMaRDI QIDQ7007495zbMATH OpenFDO

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

Publication date 26 March 2025

Published in Foundations of Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10699-021-09789-Y

zbMATH Keywords

context sensitivenesscontrol mechanismmolecular biologynon-classical logicsZsytax

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Other applications of logic (03B80) Biochemistry, molecular biology (92C40)

Cites work

• A logic of non-monotonic interactions
• A logical calculus for controlled monotonicity
• Adding logic to the toolbox of molecular biology
• Axiomatisches Denken. Vortrag gehalten in der Schweizerischen mathematischen Gesellschaft, am 11. Sept. 1917 in Zürich.
• Formal Methods in Software and Systems Modeling
• Grundlagen der Mathematik. I.
• scientific article; zbMATH DE number 1329018 (Why is no real title available?)
• scientific article; zbMATH DE number 591901 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 823607 (Why is no real title available?)
• Inductive Logic Programming
• Proof search in a context-sensitive logic for molecular biology
• Quantales and structural rules
• Tableau methods for substructural logics
• The axiomatic method in biology.
• The logic of empirical theories revisited
• Unifying logics via context-sensitiveness
• Uniqueness of axiomatic extensions of cut-free classical propositional logic
• Untersuchungen über das logische Schließen. I.

This page was built for publication: Molecular biology meets logic: context-sensitiveness in focus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7007495)