Note on paraconsistency and the logic of fractions.

Jan A. Bergstra Inge Bethke

Published in: CoRR (2014)

Keyphrases

logic programming
classical logic
multi valued
artificial intelligence
modal logic
predicate logic
neural network
relational databases
automated reasoning
machine learning
social networks
decision making
image processing
probabilistic logic
formal language
epistemic logic