A Multiple-Conclusion Calculus for First-Order Gödel Logic.

Arnon Avron Ori Lahav

Published in: CSR (2011)

Keyphrases

computer algebra
logic programming
general logic programs
answer set programming
computational properties
automated theorem proving
logic programs
horn clauses
multi valued
classical logic
formal language
natural deduction