Countably Many Weakenings of Belnap-Dunn Logic.

Minghui Ma Yuanlei Lin

Published in: Stud Logica (2020)

Keyphrases

logic programming
modal logic
databases
automated reasoning
classical logic
asynchronous circuits
real world
learning algorithm
computer vision
multiscale
natural language
logical framework
defeasible logic
nonmonotonic logics
predicate logic
logical operations