The algebra of topology
From MaRDI portal
Publication:2652481
DOI10.2307/1969080zbMath0060.06206OpenAlexW2050527500WikidataQ106090725 ScholiaQ106090725MaRDI QIDQ2652481
Publication date: 1944
Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1969080
Related Items (only showing first 100 items - show all)
Elementary theories of free topo-Boolean and pseudo-Boolean algebras ⋮ Default consequence relations from topology and measure theory ⋮ Particle-free bodies and point-free spaces ⋮ Raney algebras and duality for \(T_0\)-spaces ⋮ Subalgebras of closure algebras ⋮ Nuclear ranges in implicative semilattices ⋮ Q-ultrafilters and normal ultrafilters in B-algebras ⋮ Matching topological and frame products of modal logics ⋮ Completeness results for intuitionistic and modal logic in a categorical setting ⋮ Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics ⋮ Varieties of complex algebras ⋮ Meredith, Prior, and the history of possible worlds semantics ⋮ Deciding implication for functional dependencies in complex-value databases ⋮ Multimodal logics of products of topologies ⋮ The modal logic of continuous functions on Cantor space ⋮ Belief, knowledge, lies and other utterances in an algebra for space and extrusion ⋮ Die überinvarianten und verwandte Kongruenzrelationen einer allgemeinen Algebra ⋮ Embeddings of implicative lattices and superintuitionistic logics ⋮ On dynamic topological and metric logics ⋮ A model for spacetime. II: The emergence of higher dimensions and field theory/strings dualities ⋮ Distributive lattices with an operator ⋮ Intuitionistic logic and modality via topology ⋮ Propositional quantification in the topological semantics for \(\mathbf S4\) ⋮ A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach ⋮ Logic for physical space. From antiquity to present day ⋮ Modal multilattice logic ⋮ Elementary equivalence of topological spaces ⋮ A topological approach to full belief ⋮ Topology and measure in logics for region-based theories of space ⋮ Completeness of \(\mathrm S4\) for the Lebesgue measure algebra ⋮ The d-logic of the rational numbers: a fruitful construction ⋮ Willem Blok and modal logic ⋮ Boolean modules ⋮ Algebraic models of deviant modal operators based on De Morgan and Kleene lattices ⋮ The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem ⋮ On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations ⋮ A modal logic framework for reasoning about comparative distances and topology ⋮ Tarski's theorem on intuitionistic logic, for polyhedra ⋮ Modal logics of Stone spaces ⋮ Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP ⋮ Possible worlds in use ⋮ Foreword to the special issue dedicated to the memory of Leo Esakia ⋮ Lattice subordinations and Priestley duality. ⋮ Mathematical modal logic: A view of its evolution ⋮ B-varieties with normal free algebras ⋮ Nest sets and relativized closure properties ⋮ First order \(S4\) and its measure-theoretic semantics ⋮ On modal logics arising from scattered locally compact Hausdorff spaces ⋮ Heyting mereology as a framework for spatial reasoning ⋮ Modes of adjointness ⋮ Some topological properties of paraconsistent models ⋮ Topological soft algebra and its application ⋮ A semantic hierarchy for intuitionistic logic ⋮ Existentially closed closure algebras ⋮ L-algebras with duality and the structure group of a set-theoretic solution to the Yang-Baxter equation ⋮ Simple and subdirectly irreducibles bounded distributive lattices with unary operators ⋮ Spatial logic of tangled closure operators and modal mu-calculus ⋮ Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces ⋮ A new proof of the McKinsey-Tarski theorem ⋮ A Grim semantics for logics of belief ⋮ On representation of finite pseudo-Boolean algebras and one of its applications ⋮ Connected modal logics ⋮ More on \(d\)-logics of subspaces of the rational numbers ⋮ A canonical topological model for extensions of K4 ⋮ The modal logic of continuous functions on the rational numbers ⋮ Dynamic topological logic ⋮ Completeness of S4 with respect to the real line: revisited ⋮ Covering rough sets based on neighborhoods: an approach without using neighborhoods ⋮ Implications in Boolean algebras with a two-valued closure operator ⋮ A proof of topological completeness for S4 in \((0,1)\) ⋮ On a definition of a variety of monadic \(\ell\)-groups. ⋮ The overlap algebra of regular opens ⋮ On modal logic of deductive closure ⋮ A simplicial complex model for dynamic epistemic logic to study distributed task computability ⋮ Topological characterization of semisimple MV-algebras ⋮ Canonical extensions and ultraproducts of polarities ⋮ Reasoning about distributed information with infinitely many agents ⋮ Quelques remarques sur les `tableaux de Beth' ⋮ Algebre di Frechet: una classe di algebre Booleane con operatore ⋮ The modal logic of \({\beta(\mathbb{N})}\) ⋮ Announcement as effort on topological spaces ⋮ Modal languages for topology: expressivity and definability ⋮ Relation algebras and function semigroups ⋮ Dynamic topological S5 ⋮ Interior algebras and varieties ⋮ Classical modal De Morgan algebras ⋮ Around provability logic ⋮ Die Charakteristik einer allgemeinen Algebra. I ⋮ Solution to a problem concerning the intersection of maximal filters and maximal ideals in a distributive lattice ⋮ Hybrid logics of separation axioms ⋮ Constructive and algebraic methods of the theory of rough sets ⋮ Bases of quasiidentities of finite modal algebras ⋮ Modal logics of domains on the real plane ⋮ Characteristic inference rules ⋮ An effective representation for finitely generated free interior algebras ⋮ From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices ⋮ The theory of Boolean algebras with an additional binary operation ⋮ The genesis of possible worlds semantics ⋮ On modal logics of partial recursive functions ⋮ Some results on modal axiomatization and definability for topological spaces
This page was built for publication: The algebra of topology
