Herbrand consistency of some finite fragments of bounded arithmetical theories.

Published in: Arch. Math. Log. (2013)

Keyphrases

function symbols
logic programs
consistency checking
equational theories
first order logic
theoretical framework
logic programming
horn clauses
finite number
relational databases
computational models
answer set programming
continuous functions
design theory