Free Heyting algebra endomorphisms: Ruitenburg's Theorem and beyond.

Silvio Ghilardi Luigi Santocanale

Published in: Math. Struct. Comput. Sci. (2020)

Keyphrases

set theory
algebraic geometry
data model
algebraic expressions
search algorithm
boolean algebra
real time
multiscale
bayesian networks
image sequences
rough sets
mathematical morphology
machine learning
von neumann
real world
neural network
data sets