Completeness in Equational Hybrid Propositional Type Theory.

María Manzano Manuel A. Martins Antonia Huertas

Published in: Stud Logica (2019)

Keyphrases

equational theories
propositional logic
horn clauses
general theory
databases
real world
case study
theorem proving
hybrid learning
data sets
multi valued