Term Sequent Logic.
Michael GabbayMurdoch James GabbayPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- modal logic
- natural deduction
- sequent calculi
- sequent calculus
- cut elimination
- inference rules
- logic programming
- epistemic logic
- truth values
- predicate logic
- classical logic
- automated reasoning
- data sets
- neural network
- temporal logic
- machine learning
- information retrieval
- artificial intelligence
- conditional logic
- linear logic
- formal theory
- image segmentation
- dynamic logic
- information systems
- theorem prover
- probabilistic model
- nonmonotonic logics
- set theory
- wide class
- information retrieval systems
- document representation