Combining classical logic, paraconsistency and relevance.

Published in: J. Appl. Log. (2005)

Keyphrases

classical logic
logic programming
modal logic
default logic
possibilistic logic
data mining
intuitionistic logic
commonsense reasoning
knowledge base
autoepistemic logic
machine learning
temporal logic
fuzzy logic
automated theorem proving
revision operators
neural network
rationality postulates