Ackermann's Implication for Typefree Logic.

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

Keyphrases

logic programming
multi valued
classical logic
horn clauses
modal logic
predicate logic
complete axiomatization
neural network
deductive reasoning
proof theory
deontic logic
defeasible logic
probabilistic logic
logic programs
decision trees
information systems
artificial intelligence