Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic.

Matthias Baaz George Metcalfe

Published in: J. Log. Comput. (2010)

Keyphrases

logic programming
first order logic
logic programs
modal logic
horn clauses
general logic programs
expert systems
intelligent systems
complex systems
conditional logic
digital circuits
linear logic
management system
higher order
classical logic
proof search