Boolean Algebras with Operators. Part I

DOI10.2307/2372123zbMath0045.31505OpenAlexW2315064349WikidataQ106090695 ScholiaQ106090695MaRDI QIDQ5810598

Bjarni Jónsson, Alfred Tarski

Publication date: 1951

Published in: American Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2372123

zbMATH Keywords

lattices, rings, fields

Related Items

Current trends in substructural logics, A perspective on the theory of relation algebras, Algebras of modal operators and partial correctness, Peirce algebras, Relational semantics for full linear logic, Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL, Ockham's razor and reasoning about information flow, On the canonicity of Sahlqvist identities, An algebraic study of well-foundedness, On the structure of varieties with equationally definable principal congruences. III, Canonical extensions and Kripke-Galois semantics for non-distributive logics, Towards automating duality, Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras, Relation-algebraic semantics, Topology and duality in modal logic, Canonical extensions of bounded Archimedean vector lattices, Ultraproducts of continuous posets, Meredith, Prior, and the history of possible worlds semantics, Subcompletions of representable relation algebras, The convolution algebra, An error in a proof in: Boolean algebras with operators. I, Disjunctive property of superintuitionist and modal logics, Parallel constructions of maximal path sets and applications to short superstrings, Profinite completions and canonical extensions of Heyting algebras, Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations, Coalgebraic representations of distributive lattices with operators, Boolean algebras arising from information systems, Der Verband der normalen verzweigten Modallogiken, Complexity of equations valid in algebras of relations. II: Finite axiomatizations, A unifying study between modal-like operators, topologies and fuzzy sets, Bare canonicity of representable cylindric and polyadic algebras, Programming and automating mathematics in the Tarski-Kleene hierarchy, Algebraic proof theory for substructural logics: cut-elimination and completions, Squares in fork arrow logic, Internal axioms for domain semirings, Natural duality, modality, and coalgebra, Synonymous logics, On some congruences of power algebras, The lattice of varieties of modal algebras is not strongly atomic, Order-dual relational semantics for non-distributive propositional logics: a general framework, Boolean modules, Canonical extensions for congruential logics with the deduction theorem, The well-founded algebras, R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs, Algebraic and relational semantics for tense logics, Loeb operators and interior operators, Discrete dualities for double Stone algebras, Four-valued logic, Foreword to the special issue dedicated to the memory of Leo Esakia, Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras, Mathematical modal logic: A view of its evolution, Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus, On canonicity of poset expansions, Programs as partial graphs. I: Flow equivalence and correctness, Distributive envelopes and topological duality for lattices via canonical extensions., Canonical extensions of posets., Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators, One variable is not enough for defining relation algebras, but two are, Language in action, Modes of adjointness, Algebraic foundations for qualitative calculi and networks, Remarks on Priestley duality for distributive lattices, Rational spaces and set constraints, The origin of relation algebras in the development and axiomatization of the calculus of relations, Algebraization of quantifier logics, an introductory overview, A new proof of the McKinsey-Tarski theorem, Computable isomorphisms of Boolean algebras with operators, Connected modal logics, Canonical extensions and canonicity via dcpo presentations, Kripke completeness of infinitary predicate multimodal logics, Algebraic separation logic, A Sahlqvist theorem for distributive modal logic, Completeness of S4 with respect to the real line: revisited, An algebraic approach to traditional logic, Monadic bounded algebras, Generalising canonical extension to the categorical setting, Finite fixed point algebras are subdiagonalisable, Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.), A duality for Boolean algebras with operators, Membership values in arrow categories, Canonicity in subvarieties of BL-algebras, Solving the \$100 modal logic challenge, The power of a propositional constant, Amalgamation, interpolation, and implicit definability in varieties of algebras, Comparison of MacNeille, canonical, and profinite completions, Topological duality for Boolean algebras with a normal \(n\)-ary monotonic operator, Syntax and semantics of modal logics containing S4, Completion of Boolean algebras in MSet, Unifying threads in Alfred Tarski's work, A proof system for contact relation algebras, Arrow categories, Textural unit operations in rough set theory, Notions of density that imply representability in algebraic logic, A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism, An almost general splitting theorem for modal logic, An essay in combinatory dynamic logic, A portrait of Alfred Tarski, The genesis of possible worlds semantics, Quantum logic as a fragment of independence-friendly logic, Łukasiewicz-Moisil relation algebras, Stone Duality Type Theorems for MV-Algebras with Internal State, Canonical extensions of lattices are more than perfect, Stone Duality and the Recognisable Languages over an Algebra, Simulating polyadic modal logics by monadic ones, Unnamed Item, Unnamed Item, A stone-type duality theorem for separation logic via its underlying bunched logics, Subalgebras of closure algebras, Difference-restriction algebras of partial functions with operators: discrete duality and completion, Decision problems for distributive lattice-ordered semigroups, Predicate transformers as power operations, Reducts of relation algebras: the aspects of axiomatisability and finite representability, On Tarski's assumptions, Varieties of complex algebras, Perfect extensions of regular double Stone algebras, Difference-restriction algebras of partial functions: axiomatisations and representations, Complete congruences on topologies and down-set lattices, Representations for small relation algebras, Boolean topological distributive lattices and canonical extensions, Total tense algebras and symmetric semiassociative relation algebras, Elementary generation and canonicity for varieties of Boolean algebras with operators, Choice-free duality for orthocomplemented lattices by means of spectral spaces, Axiomatization of identity-free equations valid in relation algebras, Duality for algebras of relevant logics, Algebraic modal correspondence: Sahlqvist and beyond, Relation algebras of intervals, Relativizations of relation algebras by the diversity, A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach, Spectral-like duality for distributive Hilbert algebras with infimum, Non-normal modal logics and conditional logics: semantic analysis and proof theory, Duality results for (co)residuated lattices, Varieties generated by modes of submodes, Duality for normal lattice expansions and sorted residuated frames with relations, Catoids and modal convolution algebras, \(\Delta_1\)-completions of a poset., B-frame duality, The validity of equations of complex algebras, Extending maps to profinite completions in finitely generated quasivarieties, \( \ell r\)-multisemigroups, modal quantales and the origin of locality, Abstract strategies and coherence, Computing distributed knowledge as the greatest lower bound of knowledge, Discrete duality for Nelson algebras with tense operators, STONE SPACE OF CYLINDRIC ALGEBRAS AND TOPOLOGICAL MODEL SPACES, Relation algebras of Sugihara, Belnap, Meyer, and Church, Quantum B-algebras, Discrete duality for 3-valued Łukasiewicz–Moisil algebras, Topological duality and lattice expansions. I: A topological construction of canonical extensions., Duality for double quasioperator algebras via their canonical extensions, On fork arrow logic and its expressive power, Bitopological duality for algebras of Fitting's logic and natural duality extension, A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system, CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS, Existentially closed closure algebras, The Vietoris functor and modal operators on rings of continuous functions, Tribute to Bjarni Jónsson, Cylindric algebras and finite polyadic algebras, Term algebras of elementarily equivalent atom structures, Canonical extensions: an algebraic approach to Stone duality, Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study, Expressivity of coalgebraic modal logic: the limits and beyond, Unnamed Item, Ultrafilters, finite coproducts and locally connected classifying toposes, Functionally dense relation algebras, Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators, Irreducible equivalence relations, Gleason spaces, and de Vries duality, Algorithmic correspondence and canonicity for non-distributive logics, Elementary canonical formulae: extending Sahlqvist's theorem, Peirce's contributions to possible-worlds semantics, A categorical duality for semilattices and lattices, Definable operators on stable set lattices, Monotonic distributive semilattices, Computational complexity for bounded distributive lattices with negation, A representation theorem for measurable relation algebras, The lattice of subvarieties of semilattice ordered algebras., Canonical extensions and ultraproducts of polarities, On ultrafilter extensions of first-order models and ultrafilter interpretations, Reasoning about distributed information with infinitely many agents, Power structures, So, what exactly is a qualitative calculus?, Lambek calculus with conjugates, A grammar of functions, Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations, A grammar of functions. II, Remarks About a Closure Algebra in which Closed Elements are Open, The Vietoris monad and weak distributive laws, Relation algebras and function semigroups, Varieties of semiassociative relation algebras and tense algebras, Difference hierarchies and duality with an application to formal languages, Canonical extensions of locally compact frames, Key notions of Tarski's methodology of deductive systems, Varieties of logical matrices, Duality between modal algebras and neighbourhood frames, On the structure of varieties with equationally definable principal congruences. I, A completion for distributive nearlattices, Validity and necessity, Tarskian set constraints, A topological duality for monotone expansions of semilattices, Dualities for modal algebras from the point of view of triples, Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets., Three dual ontologies, CARNAP’S PROBLEM FOR MODAL LOGIC, More about divisibility in βN, Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\), An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics, Topological duality for orthomodular lattices, Kripke contexts, double Boolean algebras with operators and corresponding modal systems, Ordered locales, Topological duality and algebraic completions, A point-free approach to canonical extensions of Boolean algebras and bounded Archimedean \(\ell \)-algebras, Positive modal logic beyond distributivity, Choice-free topological duality for implicative lattices and Heyting algebras, COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS, Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic, Unnamed Item, Relation algebras from cylindric algebras. I, Stone duality, topological algebra, and recognition., A representation theorem for infinite fuzzy distributive lattices, TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS, Convolution as a Unifying Concept, Finite algebras of relations are representable on finite sets, Type-n Arrow Categories, Finite inseparability of some theories of cylindrification algebras, A variety of algebras closely related to subordination algebras, MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS, Closure operators on algebras, Changing a Semantics: Opportunism or Courage?, Properties of independently axiomatizable bimodal logics, Algebraic coherent confluence and higher globular Kleene algebras, Tense De Morgan S4-algebras, Unnamed Item, Unnamed Item, Unnamed Item, RELEVANCE LOGICS AND RELATION ALGEBRAS, Convolution and concurrency, Distributive and completely distributive lattice extensions of ordered sets, Information algebras, Mixed algebras and their logics, Introducing Boolean Semilattices, Ideal Related Algebras and Their Logics Extended Abstract, Knowledge and Games in Modal Semirings, Partitioning Kripke frames of finite height, Semantic analysis of tense logics, Relation algebras of every dimension, Perfect extensions and derived algebras, Some Varieties Containing Relation Algebras, KRULL DIMENSION IN MODAL LOGIC, Logical analysis of emotions in text from natural language, Modal Semirings Revisited, Stone type representation theorems via games, Lattice logic as a fragment of (2-sorted) residuated modal logic, Discrete duality for De Morgan Algebras with operators, Unnamed Item, Unnamed Item, On Automating the Calculus of Relations, Omitting types for finite variable fragments and complete representations of algebras, On canonicity and completions of weakly representable relation algebras, Neighbourhood lattices – a poset approach to topological spaces, Algebraic Representation, Dualities and Beyond, A constructive Galois connection between closure and interior, MacNeille completions and canonical extensions, A Road to Ultrafilter Extensions, Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices, Modal Tools for Separation and Refinement, Canonical extensions and relational completeness of some substructural logics, Pair-Dense Relation Algebras, Multi-Sorted Residuation, Relativised quantification: Some canonical varieties of sequence-set algebras, Free algebras in discriminator varieties, Coalgebraic Completeness-via-Canonicity, Bounded lattice expansions, Cylindric Algebras and Algebras of Substitutions, Grafted frames and S1 -completeness, Truth as translation. Part A, Erdős Graphs Resolve Fine's Canonicity Problem, Unnamed Item, Topologies, Continuity and Bisimulations, Unnamed Item, Canonical varieties with no canonical axiomatisation, Rational spaces and set constraints, Finite-Chain Graded Modal Logic, Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics, Geometrical representation theorems for cylindric-type algebras, MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics, Modal translation of substructural logics, Unnamed Item, Splitting lattices of logics, KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS, A relational semantics for the logic of bounded lattices, A discrete duality between apartness algebras and apartness frames, Unnamed Item, Unnamed Item, ON DEFINABILITY IN MULTIMODAL LOGIC, Strongly representable atom structures of cylindric algebras, Cylindric-relativised set algebras have strong amalgamation, POWER STRUCTURES AND LOGIC, RALL: Machine-supported proofs for relation algebra, COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS, Algebraic semantics for propositional superposition logic, Zdzisław Pawlak, Databases and Rough Sets, Refinement for signal flow graphs, On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP, Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras, Approximation Schemes in Logic and Artificial Intelligence, Canonical Extensions, Esakia Spaces, and Universal Models, On the Semilattice of Modal Operators and Decompositions of the Discriminator, Modal Logics that Bound the Circumference of Transitive Frames, On the Representation of Boolean Magmas and Boolean Semilattices, Canonical Relativized Cylindric Set Algebras and Weak Associativity, Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic, Meeting of the Association for Symbolic Logic Florence, Italy 1982, Unnamed Item, Tarskian Classical Relevant Logic, Modal Logics of Some Hereditarily Irresolvable Spaces, Application of Urquhart’s Representation of Lattices to Some Non–classical Logics, Quantum monadic algebras, LOGICS FOR PROPOSITIONAL CONTINGENTISM