On closed elements in closure algebras
From MaRDI portal
Publication:2652482
DOI10.2307/1969038zbMath0060.06207OpenAlexW2007096790WikidataQ106090733 ScholiaQ106090733MaRDI QIDQ2652482
J. C. C. McKinsey, Alfred Tarski
Publication date: 1946
Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1969038
Related Items
Jankov Formulas and Axiomatization Techniques for Intermediate Logics, Some structure results for propositional calculi, Some Remarks on Evaluations of the Primitive Logic, Stone space partitions indexed by a poset, Bisimulation and propositional intuitionistic logic, McKinsey-Tarski algebras: an alternative pointfree approach to topology, Involutive symmetric Gödel spaces, their algebraic duals and logic, POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION, An algebraic glimpse at bunched implications and separation logic, Finite embeddability property for residuated lattices via regular languages, Injective and Projective Heyting Algebras, Unnamed Item, Implicative Semi-Lattices, In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs, On subvarieties of symmetric closure algebras, Meet-Irreducible Elements in Implicative Lattices, On the finite embeddability property for residuated ordered groupoids, Proofs of non-deducibility in intuitionistic functional calculus, Some theorems about the sentential calculi of Lewis and Heyting, TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4, Canonical Extensions, Esakia Spaces, and Universal Models, Representation of Jordan and Lie Algebras, L-algebras and topology, The point of pointless topology, Almost structural completeness; an algebraic approach, Particle-free bodies and point-free spaces, Nuclear ranges in implicative semilattices, Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets, Free and projective bimodal symmetric Gödel algebras, \(L\)-algebras and three main non-classical logics, A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras, The word problem for \(Heyting^ *\) algebras, Leon Henkin the Reviewer, Heyting* algebras, topological Boolean algebras and P.O. systems, Unnamed Item, Meredith, Prior, and the history of possible worlds semantics, Characteristic formulas of partial Heyting algebras, Deciding implication for functional dependencies in complex-value databases, Embeddings of implicative lattices and superintuitionistic logics, Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS), Intuitionistic logic and modality via topology, Propositional quantification in the topological semantics for \(\mathbf S4\), Natural factors of the Muchnik lattice capturing IPC, Funayama's theorem revisited, Structure theorems for idempotent residuated lattices, Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras, From partially ordered monoids to partially ordered groups via free nuclear preimages, Elementary equivalence of topological spaces, The representations of S5, KRULL DIMENSION IN MODAL LOGIC, A method of representing rough sets system determined by quasi orders, \(E=I+T\): the internal extent formula for compacted tries, Willem Blok and modal logic, Algebraic models of deviant modal operators based on De Morgan and Kleene lattices, Computing distributed knowledge as the greatest lower bound of knowledge, Tarski's theorem on intuitionistic logic, for polyhedra, Functions and equations in classes of distributive lattices with pseudocomplementation, Intuitionistic propositional logic with Galois negations, Foreword to the special issue dedicated to the memory of Leo Esakia, Topological proofs of some Rasiowa-Sikorski lemmas, Lattice subordinations and Priestley duality., Mathematical modal logic: A view of its evolution, Residuated Structures, Concentric Sums and Finiteness Conditions, An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic, Théories d'algèbres de Boole munies d'idéaux distingués. I: Théories élémentaires, Natural factors of the Medvedev lattice capturing IPC, On modal logics arising from scattered locally compact Hausdorff spaces, Some topological properties of paraconsistent models, Neighbourhood lattices – a poset approach to topological spaces, Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations, Algebraic Methods for Orthopairs and Induced Rough Approximation Spaces, Partial inner product spaces: some categorical aspects, Explicit Provability and Constructive Semantics, 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, Modal companions of intermediate propositional logics, Spatial logic of tangled closure operators and modal mu-calculus, Characterising nested database dependencies by fragments of propositional logic, On representation of finite pseudo-Boolean algebras and one of its applications, European Summer Meeting of the Association for Symbolic Logic, Hull, 1986, Join-completions of partially ordered algebras, On Functional Dependencies in Advanced Data Models, On formulas of one variable in intuitionistic propositional calculus, On a generalized cylindrical algebra and intuitionistic logic, LK, LJ, dual intuitionistic logic, and quantum logic, On a definition of a variety of monadic \(\ell\)-groups., On Bellissima's construction of the finitely generated free Heyting algebras, and beyond, Proof of a conjecture of Roman Suszko, Unnamed Item, The Procedures for Belief Revision, Functional and multivalued dependencies in nested databases generated by record and list constructor, Relative pseudo-complements, join-extensions, and meet-retractions, Concerning a quantum-like uncertainty relation for pairs of complementary fuzzy sets, Equational axioms for classes of Heyting algebras, Notes on \(\eta\)-lattices and constructive logic with strong negation, A general theory of autometrized algebras, Dually residuated lattice ordered semigroups, Modal translation of substructural logics, A Strange Remark Attributed to Gödel, Complexity of the universal theory of modal algebras, Relation algebras and function semigroups, Algebraic properties of fuzzy sets, Interpretations into Heyting algebras, Key notions of Tarski's methodology of deductive systems, Expansions of semi-Heyting algebras. I: Discriminator varieties, Finitely generated free Heyting algebras, The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★, Compatibly involutive residuated lattices and the Nelson identity, Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗, Duality theory for enriched Priestley spaces, On the variety of Gödel MV-algebras, Unnamed Item, An operation related to the Cantor-Bendixson derivative, DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV, A theory of belief for scientific refutations, Characteristic inference rules, An effective representation for finitely generated free interior algebras, On the structure of varieties with equationally definable principal congruences. IV, WELL-FORMED SET REPRESENTATIONS OF SOLIDS, Free algebras in the variety of three-valued closure algebras, The genesis of possible worlds semantics, Real functions for representation of rigid solids
