The Lattice of All Clones of Self-Dual Functions in Three-Valued Logic.

Published in: J. Multiple Valued Log. Soft Comput. (2015)

Keyphrases

multi valued
nonmonotonic logics
boolean algebra
software systems
real time
machine learning
information systems
logic programming
classical logic
lattice theory
databases
bayesian networks
multiscale
concept lattice
asynchronous circuits
proof theory