Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond.

Silvio Ghilardi Luigi Santocanale

Published in: CoRR (2019)

Keyphrases

set theory
algebraic geometry
relational algebra
multiscale
data analysis
query language
first order logic
fuzzy set theory
database
data mining
image processing
expressive power