scientific article; zbMATH DE number 1420795
From MaRDI portal
Publication:4944859
zbMath0953.03069MaRDI QIDQ4944859
Giovanni Sambin, Silvia Gebellato
Publication date: 23 January 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Frames, locales (06D22) Other constructive mathematics (03F65) Intuitionistic mathematics (03F55) Logical aspects of ?ukasiewicz and Post algebras (03G20) Generalities in topology (54A99)
Related Items
Positivity relations on a locale ⋮ Dialectical Rough Sets, Parthood and Figures of Opposition-I ⋮ The Multi-purpose Role of the Relational Approach to Classic and Generalized Approximation Spaces. A Tutorial ⋮ The basic Zariski topology ⋮ Intuitionistic mereology ⋮ Competitive equilibrium with intuitionistic agents ⋮ Some points in formal topology. ⋮ Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory ⋮ The Zariski spectrum as a formal geometry ⋮ Embedding locales and formal topologies into positive topologies ⋮ The problem of the formalization of constructive topology ⋮ C for constructivism. Beyond clichés ⋮ Topology as Faithful Communication Through Relations ⋮ Aspects of general topology in constructive set theory ⋮ Completions, comonoids, and topological spaces ⋮ Programming interfaces and basic topology ⋮ Formal Zariski topology: Positivity and points