Search results for "Sobriety"

showing 1 items of 1 documents

Sobriety and spatiality in categories of lattice-valued algebras

2012

The paper provides an analogue of the famous equivalence between the categories of sober topological spaces and spatial locales for the framework of (L,M)-fuzzy topology of Kubiak and Sostak (and partly to that of Guido). To be more general, we replace locales with localic lattice-valued algebras in the sense of Di Nola and Gerla and use the respective generalized topological setting. As a result, it appears that the shift from crisp algebras to lattice-valued algebras weakens (resp. strengthens) considerably the classical (including the point-set lattice-theoretic setting of Rodabaugh) notion of sobriety (resp. spatiality).

Discrete mathematicsInterior algebraSobrietyArtificial IntelligenceLogicMathematics::General TopologyGeneral topologyTopological spaceEquivalence (formal languages)MathematicsFuzzy Sets and Systems
researchProduct