Topological representations of distributive lattices and Brouwerian logics
From MaRDI portal
Publication:5769244
DOI10.21136/cpmf.1938.124080zbMath0018.00303OpenAlexW2287405122MaRDI QIDQ5769244
Publication date: 1937
Full work available at URL: https://eudml.org/doc/27235
Related Items
Current trends in substructural logics ⋮ Commutative \(L\)-algebras and measure theory ⋮ Spectral sets ⋮ Localic subspaces and colimits of localic spaces ⋮ Layers over minimal logic ⋮ A topological duality for some lattice ordered algebraic structures including \(\ell\)-groups ⋮ Grätzer-Hofmann-Lawson-Jung-Sünderhauf duality ⋮ The spectrum of a localic semiring ⋮ On the axiomatisability of the dual of compact ordered spaces ⋮ Morphisms on EMV-algebras and their applications ⋮ Sobriety and spatiality in varieties of algebras ⋮ A duality between Pawlak's knowledge representation systems and bi-consequence systems ⋮ Region-based theory of discrete spaces: A proximity approach ⋮ Varieties of complex algebras ⋮ Spectral properties of cBCK-algebras ⋮ Complete congruences on topologies and down-set lattices ⋮ Lax proper maps of locales ⋮ Rings and sheaves ⋮ Normal spectral spaces and their dimensions ⋮ A simplified duality for implicative lattices and \(l\)-groups ⋮ Coalgebraic representations of distributive lattices with operators ⋮ On essential variables of dual operations and the consequences for operations ⋮ Applications of localic separation axioms, compactness axioms, representations, and compactifications to poslat topological spaces ⋮ \(L\)-fuzzy version of Stone's representation theorem for distributive lattices ⋮ Ideals in atomic posets ⋮ Alexandroff topology of algebras over an integral domain ⋮ Spectral-like duality for distributive Hilbert algebras with infimum ⋮ The basic Zariski topology ⋮ Generalized topological representation for complete join-semilattices ⋮ Spectral reflections of topological spaces ⋮ Topological forcing semantics with settling ⋮ Remarks on hyperspaces for Priestley spaces ⋮ Duality for normal lattice expansions and sorted residuated frames with relations ⋮ Esakia style duality for implicative semilattices ⋮ Topological models of propositional logic of problems and propositions ⋮ Real spectrum versus \(\ell\)-spectrum via Brumfiel spectrum ⋮ Stone duality for spectral sheaves and the patch monad ⋮ The Bousfield lattice of a triangulated category and stratification ⋮ The patch construction is dual to algebraic DCPO representation ⋮ The hull-kernel topology on prime ideals in posets ⋮ Order-dual relational semantics for non-distributive propositional logics: a general framework ⋮ Topological representation of double Boolean algebras ⋮ Hilbert algebras with Hilbert-Galois connections ⋮ Topological proofs of some Rasiowa-Sikorski lemmas ⋮ Mathematical modal logic: A view of its evolution ⋮ Priestley rings and Priestley order-compactifications ⋮ General Stone duality. ⋮ Unities and negation: On the representation of finite lattices ⋮ Distributive envelopes and topological duality for lattices via canonical extensions. ⋮ Stone style duality for distributive nearlattices ⋮ Crisp analogs of fuzzy sets ⋮ The category of finitary biframes as the category of pointfree bispaces ⋮ Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators ⋮ Duality beyond sober spaces: Topological spaces and observation frames ⋮ The structure of finite commutative idempotent involutive residuated lattices ⋮ Sheaves and duality ⋮ Stone-type representations and dualities for varieties of bisemilattices ⋮ Distributive mereotopology: extended distributive contact lattices ⋮ Slices and levels of extensions of the minimal logic ⋮ Spectral spaces of countable Abelian lattice-ordered groups ⋮ A topological representation of lattices ⋮ Les treillis pseudocomplémentés finis. (The finite pseudocomplemented lattices) ⋮ Annihilator-preserving congruence relations in distributive nearlattices ⋮ Finite pseudocomplemented lattices and ``permutoedre ⋮ Ideal completion and Stone representation of ideal-distributive ordered sets ⋮ Composite variety-based topological theories ⋮ Sobriety and spatiality in categories of lattice-valued algebras ⋮ Algebras for Galois-style connections and their discrete duality ⋮ Generalized fuzzy topology versus non-commutative topology ⋮ Strong De Morgan's law and the spectrum of a commutative ring ⋮ Priestley duality for paraconsistent Nelson's logic ⋮ Topologische Darstellung von Verbänden ⋮ Unnamed Item ⋮ A duality for Boolean algebras with operators ⋮ A spectral-style duality for distributive posets ⋮ \(pm\)-lattices ⋮ Some characterizations of weak sobriety and upper spaces ⋮ A topological representation theory for lattices ⋮ The upper Vietoris topology on the space of inverse-closed subsets of a spectral space and applications ⋮ A topological duality for posets ⋮ Semi-ideals in posets ⋮ Expansions of semi-Heyting algebras. I: Discriminator varieties ⋮ Pro-finite MV-spaces ⋮ Representations of distributive lattices as lattices of functions ⋮ The spectrum problem for abelian \(\ell\)-groups and MV-algebras ⋮ On the structure of \(\aleph_0\)-categorical groups ⋮ Prime spectra of lattice-ordered abelian groups ⋮ The space of minimal prime ideals in a 0-distributive semilattice ⋮ \(L\)-fuzzy prime spectrums of ADLs ⋮ A representation theory for the variety generated by the triangle ⋮ Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) ⋮ Toward an infinitary logic of domains: Abramsky logic for transition systems ⋮ Another look on tense and related operators ⋮ A topological duality for monotone expansions of semilattices ⋮ The Semilattice Tensor Product of Distributive Lattices ⋮ Irreducibility in algebraic fuzzy systems ⋮ Point-set lattice-theoretic topology ⋮ Hilbert algebras with a modal operator \(\diamondsuit\) ⋮ Application of Urquhart’s Representation of Lattices to Some Non–classical Logics ⋮ Three dual ontologies ⋮ A representation theorem for infinite fuzzy distributive lattices ⋮ A frame-theoretic perspective on Esakia duality ⋮ THE BAIRE CLOSURE AND ITS LOGIC ⋮ POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION ⋮ The stone representations for generalized continuous posets ⋮ Valuative Lattices and Spectra ⋮ Categorical Dualities for Some Two Categories of Lattices: An Extended Abstract ⋮ Unnamed Item ⋮ Implicative Semi-Lattices ⋮ Priestley's duality from Stone's ⋮ Meet-Irreducible Elements in Implicative Lattices ⋮ Lattices of continuous functions ⋮ SPACES OF TYPES IN POSITIVE MODEL THEORY ⋮ Les algèbres partiellement ordonnées et leurs extensions. II ⋮ Semi-Heyting Algebras and Identities of Associative Type ⋮ Easkia Duality and Its Extensions ⋮ REPRESENTING STRUCTURED SEMIGROUPS ON ÉTALE GROUPOID BUNDLES
This page was built for publication: Topological representations of distributive lattices and Brouwerian logics
