Boolean Algebras with Operators. Part I
From MaRDI portal
Publication:5810598
DOI10.2307/2372123zbMath0045.31505OpenAlexW2315064349WikidataQ106090695 ScholiaQ106090695MaRDI QIDQ5810598
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
Related Items (only showing first 100 items - show all)
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
This page was built for publication: Boolean Algebras with Operators. Part I
