On the logic of distributive nearlattices.

Luciano J. González

Published in: Math. Log. Q. (2022)

Keyphrases

logic programming
asynchronous circuits
multi valued
modal logic
automated reasoning
proof theory
predicate logic
computational properties
artificial neural networks
databases
data sets
knowledge representation
database
computer vision
set theory
digital circuits
neural network
truth values