A new characterization of complete Heyting and co-Heyting algebras.

Francesco Ranzato

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

set theory
boolean algebra
digital libraries
rough sets
machine learning
decision making
first order logic
real world
information retrieval
database systems
data structure
data analysis
fuzzy set theory