A Deterministic Weakening of Belnap-Dunn Logic.

Minghui Ma Yuanlei Lin

Published in: Stud Logica (2019)

Keyphrases

logic programming
classical logic
modal logic
multi valued
sound and complete axiomatization
predicate logic
reinforcement learning
search algorithm
decision trees
machine learning
data mining
logical framework
real world
defeasible logic
set theory
formal language
databases
database