Computing in Łukasiewicz Logic and AF-Algebras.

Daniele Mundici

Published in: The Logic of Software. A Tasting Menu of Formal Methods (2022)

Keyphrases

digital circuits
relation algebra
real time
multi valued
classical logic
boolean algebra
data sets
neural network
machine learning
information retrieval
learning algorithm
modal logic
automated reasoning
asynchronous circuits