Varieties of complex algebras

DOI10.1016/0168-0072(89)90032-8zbMath0722.08005OpenAlexW1991748341WikidataQ106989237 ScholiaQ106989237MaRDI QIDQ2641327

Robert Goldblatt

Publication date: 1989

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(89)90032-8

zbMATH Keywords

relation algebrasvarietiescylindric algebrasmodal algebrascomplex algebraclosure algebras

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Other algebras related to logic (03G25) Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15) Relational systems, laws of composition (08A02) Varieties (08B99) Interpolation, preservation, definability (03C40)

Related Items (only showing first 100 items - show all)

Frame definability in finitely valued modal logics ⋮ More about divisibility in βN ⋮ Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\) ⋮ Topological duality and algebraic completions ⋮ Positive modal logic beyond distributivity ⋮ Bounded lattice expansions ⋮ Stone duality, topological algebra, and recognition. ⋮ Bjarni Jónsson's contributions in algebra ⋮ Priestley duality for MV-algebras and beyond ⋮ Convolution as a Unifying Concept ⋮ Modules with fusion and implication based over distributive lattices: representation and duality ⋮ Stone Duality and the Recognisable Languages over an Algebra ⋮ Simulating polyadic modal logics by monadic ones ⋮ Atomless varieties ⋮ Modal definability based on Łukasiewicz validity relations ⋮ A stone-type duality theorem for separation logic via its underlying bunched logics ⋮ Hyperboolean Algebras and Hyperboolean Modal Logic ⋮ On the canonicity of Sahlqvist identities ⋮ A variety of algebras closely related to subordination algebras ⋮ Developments in concurrent Kleene algebra ⋮ Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras ⋮ Derivation rules as anti-axioms in modal logic ⋮ Covering-based rough sets and modal logics. II. ⋮ Predicate transformers as power operations ⋮ Unnamed Item ⋮ Perfect extensions of regular double Stone algebras ⋮ Boolean topological distributive lattices and canonical extensions ⋮ The structure of lattices of subframe logics ⋮ The convolution algebra ⋮ Elementary generation and canonicity for varieties of Boolean algebras with operators ⋮ Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations ⋮ Distributive lattices with an operator ⋮ Coalgebraic representations of distributive lattices with operators ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ A categorical equivalence for bounded distributive quasi lattices satisfying: x ∨ 0 = 0 ⇒ x = 0 ⋮ Boolean algebras arising from information systems ⋮ Convolution and concurrency ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Cylindric modal logic ⋮ Duality for modal \(\mu\)-logics ⋮ Spectral-like duality for distributive Hilbert algebras with infimum ⋮ Introducing Boolean Semilattices ⋮ Varieties generated by modes of submodes ⋮ A construction of cylindric and polyadic algebras from atomic relation algebras ⋮ Remarks on hyperspaces for Priestley spaces ⋮ Catoids and modal convolution algebras ⋮ A duality theoretic view on limits of finite structures ⋮ How many varieties of cylindric algebras are there ⋮ Duality and Equational Theory of Regular Languages ⋮ \( \ell r\)-multisemigroups, modal quantales and the origin of locality ⋮ Computing distributed knowledge as the greatest lower bound of knowledge ⋮ A Discrete Geometric Model of Concurrent Program Execution ⋮ STONE SPACE OF CYLINDRIC ALGEBRAS AND TOPOLOGICAL MODEL SPACES ⋮ Quantum B-algebras ⋮ Frontal operators in weak Heyting algebras ⋮ Four-valued logic ⋮ Mathematical modal logic: A view of its evolution ⋮ Relation algebras can tile ⋮ False though partly true -- an experiment in logic ⋮ Unnamed Item ⋮ On canonicity and completions of weakly representable relation algebras ⋮ Duality for double quasioperator algebras via their canonical extensions ⋮ Modes of adjointness ⋮ Algebraic Semantics for Hybrid Logics ⋮ X Latin American Symposium on Mathematical Logic ⋮ MacNeille completions and canonical extensions ⋮ Complete representations in algebraic logic ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Bilattice logic of epistemic actions and knowledge ⋮ Simple and subdirectly irreducibles bounded distributive lattices with unary operators ⋮ Canonical extensions: an algebraic approach to Stone duality ⋮ Quasi-Modal Equivalence of Canonical Structures ⋮ Unnamed Item ⋮ Even more about the lattice of tense logics ⋮ Relativised quantification: Some canonical varieties of sequence-set algebras ⋮ A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS ⋮ Canonical extensions and canonicity via dcpo presentations ⋮ A coalgebraic view on positive modal logic ⋮ A Sahlqvist theorem for distributive modal logic ⋮ Irreducible equivalence relations, Gleason spaces, and de Vries duality ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ Monadic bounded algebras ⋮ Strongly representable atom structures of relation algebras ⋮ Erdős Graphs Resolve Fine's Canonicity Problem ⋮ Elementary canonical formulae: extending Sahlqvist's theorem ⋮ Definable operators on stable set lattices ⋮ Canonical extensions and ultraproducts of polarities ⋮ On ultrafilter extensions of first-order models and ultrafilter interpretations ⋮ Power structures ⋮ Canonical varieties with no canonical axiomatisation ⋮ Finite-Chain Graded Modal Logic ⋮ Comparison of MacNeille, canonical, and profinite completions ⋮ Topological duality for Boolean algebras with a normal \(n\)-ary monotonic operator ⋮ Unnamed Item ⋮ Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ Strongly representable atom structures of cylindric algebras ⋮ Frame constructions, truth invariance and validity preservation in many-valued modal logic ⋮ A topological approach to MTL-algebras ⋮ Residuation algebras with functional duals

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A duality for Boolean algebras with operators
• Topoi. The categorial analysis of logic. Rev. ed
• Equations not preserved by complete extensions
• Some kinds of modal completeness
• Model theory
• Normal forms in modal logic
• The algebra of topology
• Fixed point algebras
• The lattice of modal logics: an algebraic investigation
• Grothendieck Topology as Geometric Modality
• A note on modal formulae and relational properties
• First-order definability in modal logic
• Modal formulas are either elementary or not ΣΔ-elementary
• Canonical modal logics and ultrafilter extensions
• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• Algebraic semantics for modal logics I
• Algebras Whose Congruence Lattices are Distributive.
• Modal Logics Between S 4 and S 5
• Prime Ideal Structure in Commutative Rings
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Some relational systems and the associated topological spaces
• Semantic analysis of tense logics
• The Theory of Representation for Boolean Algebras
• Topological representations of distributive lattices and Brouwerian logics
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators

This page was built for publication: Varieties of complex algebras