Q-residuated lattices and lattice pseudoeffect algebras.

Xiaohong Zhang Mei Wang Nan Sheng

Published in: Soft Comput. (2022)

Keyphrases

boolean algebra
distributive lattices
concept lattice
cardinality constraints
rough approximations
theorem prover
set theory
rough sets
association rule mining
expressive power
real time
general theory
mathematical theory
expert systems
multiscale
neural network
lattice points
data sets