Choice-free Topological Duality for Implicative Lattices and Heyting Algebras.

Chrysafis Hartonas

Published in: CoRR (2023)

Keyphrases

topological spaces
distributive lattices
boolean algebra
set theory
linear programming
general theory
website
bayesian networks
concept lattice
spatial objects
spatial reasoning
topology preserving
topological features