Molecular biology meets Logic : context-sensitiveness in focus

Some real life processes, including molecular ones, are context-sensitive, in the sense that their outcome depends on side conditions that are most of the times difficult, or impossible, to express fully in advance. In this paper, we survey and discuss a logical account of context-sensitiveness in molecular processes, based on a kind of non-classical logic. This account also allows us to revisit the relationship between logic and philosophy of science (and philosophy of biology, in particular)

Molecular Biology Meets Logic : Context-Sensitiveness in Focus

Some real life processes, including molecular ones, are context-sensitive, in the sense that their outcome depends on side conditions that are most of the times difficult, or impossible, to express fully in advance. In this paper, we survey and discuss a logical account of context-sensitiveness in molecular processes, based on a kind of non-classical logic. This account also allows us to revisit the relationship between logic and philosophy of science (and philosophy of biology, in particular)

Proof search in a context-sensitive logic for molecular biology

We study the proof theory and the automatic proof search for a fragment of linear logic with context-sensitive deductions inspired by molecular biology. We formulate an intuitionistic (multiplicative) linear logic sequent calculus where sequents are decorated so to account for the biological constraints. We then draw on the literature to develop a generalized proof search technique that allows to automatically deal with context-sensitive deductions and non-monotonic reasoning. Finally, we present the implementation of a theorem prover that can be used to automatically verify biological pathways expressed as logical sequents