Paraconsistency and consistency understood as the absence of the negation of any implicative theorem.

Published in: Reports Math. Log. (2012)

Keyphrases

logic programs
deductive databases
neural network
global consistency
database
real world
machine learning
multiscale
search algorithm
special case
temporal consistency