The single-conclusion proof logic and inference rules specification.
Vladimir KrupskiPublished in: Ann. Pure Appl. Log. (2001)
Keyphrases
- inference rules
- natural deduction
- sequent calculus
- proof search
- cut elimination
- modal logic
- theorem prover
- theorem proving
- logical framework
- linear logic
- proof procedures
- epistemic logic
- first order logic
- horn clauses
- truth values
- automated reasoning
- probability theory
- conditional probabilities
- temporal logic
- logic programming language
- data sets
- legal reasoning
- probabilistic knowledge
- expert systems
- machine learning
- probabilistic logic
- active learning
- proof theory
- database systems
- knowledge base
- artificial intelligence