A Point-Free Approach to Canonical Extensions of Boolean Algebras and Bounded Archimedean ℓ-Algebras.

Guram Bezhanishvili Luca Carai Patrick J. Morandi

Published in: Order (2023)

Keyphrases

real valued
clifford algebra
distributive lattices
topological spaces
database
artificial intelligence
knowledge base
temporal reasoning
machine learning
website
evolutionary algorithm
statistically significant
efficient implementation
spatial reasoning