The Belluce-semilattice associated with a monadic residuated lattice.

Lianzhen Liu Xiangyang Zhang

Published in: Soft Comput. (2023)

Keyphrases

lattice structure
valued logic
deductive databases
datalog queries
bayesian networks
real time
neural network
machine learning
genetic algorithm
database systems
multi agent
transitive closure
datalog programs
boolean algebra