Parameterized Provability in Equational Logic.
Mateus de Oliveira OliveiraPublished in: TABLEAUX (2017)
Keyphrases
- theorem proving
- lattice theory
- predicate logic
- modal logic
- equational theories
- logic programming
- automated reasoning
- horn clauses
- sound and complete axiomatization
- epistemic logic
- digital circuits
- set theory
- classical logic
- theorem prover
- computer vision
- logical framework
- multi valued
- bayesian networks
- natural deduction
- case study
- databases