Herbrand Theorems for Substructural Logics.

Petr Cintula George Metcalfe

Published in: LPAR (2013)

Keyphrases

propositional calculus
logic programs
first order logic
expressive power
logic programming
inference rules
computational properties
horn clauses
statistical relational learning
real time
modal logic
function symbols
data sets
information systems
theorem proving