The Value of the One Value: Exactly True Logic revisited.

Andreas Kapsner Umberto Rivieccio

Published in: J. Philos. Log. (2023)

Keyphrases

multi valued
classical logic
modal logic
knowledge base
digital circuits
data mining
asynchronous circuits
nonmonotonic logics
sound and complete axiomatization
database
delay insensitive
logical framework
logic programming
multiscale
artificial intelligence
machine learning
data sets