Hyper-MacNeille Completions of Heyting Algebras.

J. Harding Frederik Möllerström Lauridsen

Published in: Stud Logica (2021)

Keyphrases

set theory
spatial reasoning
topological spaces
clifford algebra
distributive lattices
relation algebra
expert systems
probability distribution
boolean algebra