The first-order hypothetical logic of proofs.
Gabriela SterenEduardo BonelliPublished in: J. Log. Comput. (2017)
Keyphrases
- general logic programs
- natural deduction
- first order logic
- linear temporal logic
- cut elimination
- theorem proving
- theorem prover
- proof search
- conditional logic
- sequent calculus
- modal logic
- automated reasoning
- horn clauses
- predicate calculus
- decision procedures
- higher order
- sound and complete with respect
- quantifier free
- model theoretic
- quantifier elimination
- finite model theory
- logic programming
- logical framework
- probabilistic logic
- classical first order logic
- inference rules
- mathematical proofs
- classical logic
- linear logic
- logic programs
- automated theorem proving
- set theory
- computational properties
- multi valued
- probabilistic reasoning
- valued logic
- term rewriting
- stochastic dominance
- formal proof
- rewrite systems
- truth values
- predicate logic