Revisiting the Dunn-Belnap logic.

Carolina Blasio

Published in: CoRR (2022)

Keyphrases

logic programming
modal logic
predicate logic
data sets
website
expressive power
multi valued
computational properties
nonmonotonic logics
knowledge base
e learning
bayesian networks
data model
decision making
information systems
logical framework
classical logic
database
proof theory