Proof search in a context-sensitive logic for molecular biology.
Filippo SestiniSilvia CrafaPublished in: J. Log. Comput. (2018)
Keyphrases
- context sensitive
- molecular biology
- proof search
- theorem prover
- linear logic
- theorem proving
- inference rules
- computational biology
- search procedure
- microarray
- biological data
- sequent calculus
- proof procedure
- natural language
- protein structure
- information retrieval
- cut elimination
- first order logic
- context free
- language model
- search space
- modal logic
- automated reasoning
- logical framework
- logic programming
- microarray data
- high throughput
- fixed point
- natural deduction