Generalizing Functional Completeness in Belnap-Dunn Logic.

Hitoshi Omori Katsuhiko Sano

Published in: Stud Logica (2015)

Keyphrases

classical logic
modal logic
multi valued
asynchronous circuits
logical framework
defeasible logic
databases
machine learning
logic programming
predicate logic
proof theory
sound and complete axiomatization
automated reasoning
probabilistic logic
set theory
functional analysis