Cylindric algebras. Part II

J. Donald Monk, Leon Henkin, Alfred Tarski

Publication date: 1985

Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

zbMATH Keywords

relation algebras theory universal algebra model Boolean algebras with operators cylindric algebras infinitary relations polyadic algebras abstract model

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15) Abstract model theory (03C95) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)

Related Items

The cylindric algebras of three-valued logic, On the equational theory of representable polyadic equality algebras, Relation algebra reducts of cylindric algebras and an application to proof theory, On modal logics betweenK × K × KandS5 × S5 × S5, Universal classes of simple relation algebras, Relation algebra reducts of cylindric algebras and complete representations, Provability with Finitely Many Variables, European summer meeting of the Association for Symbolic Logic, Unnamed Item, Algebraic Characterization of the Local Craig Interpolation Property, On Automorphisms of Polyadic Algebras, Varying interpolation and amalgamation in polyadic MV-algebras, Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic, Expressive Power and Succinctness of the Positive Calculus of Relations, Omitting Types in Fragments and Extensions of First Order Logic, Omitting types algebraically and more about amalgamation for modal cylindric algebras, Finite-Variable Logics Do Not Have Weak Beth Definability Property, Applied neat reducts on some classes of algebras, Inputs, Outputs, and Composition in the Logic of Information Flows, On the algebraization of Henkin‐type second‐order logic, Abstract algebraic logic. An introductory chapter, Expressibility of properties of relations, Notions of representability for cylindric algebras: some algebras are more representable than others, Complete Representations and Neat Embeddings, An algebraic glimpse at bunched implications and separation logic, DISTANCES BETWEEN FORMAL THEORIES, How many varieties of cylindric algebras are there, Step by step – Building representations in algebraic logic, Amalgamation of Polyadic Algebras, Tarski’s Influence on Computer Science, Discrete duality for De Morgan Algebras with operators, On canonicity and completions of weakly representable relation algebras, Unnamed Item, Complete representations in algebraic logic, TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY, Free algebras in discriminator varieties, A relation-algebraic approach to the region connection calculus, A Sheaf-Theoretic Duality Theory for Cylindric Algebras, Erdős Graphs Resolve Fine's Canonicity Problem, Relation algebras from cylindric algebras. I, Relation algebras from cylindric algebras. II, Finite methods in 1-order formalisms, Cylindric structures and dependencies in relational databases, Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge, On representability of neatly embeddable cylindric algebras, Geometrical representation theorems for cylindric-type algebras, Algebraic Logic, Where Does it Stand Today?, On weak and strong interpolation in algebraic logics, Polyadic algebras with terms: A signature-free approach, Seven lectures on universal algebraic geometry, Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic, Idempotent residuated structures: Some category equivalences and their applications, Varieties of Algebras without the Amalgamation Property, Canonical Relativized Cylindric Set Algebras and Weak Associativity, Blow Up and Blur Constructions in Algebraic Logic, Freeing Structural Realism from Model Theory, A completeness theorem for higher order logics, On axiomatising products of Kripke frames, Beth Definability in the Logic KR, Quantum monadic algebras, Proving correctness of Constraint Logic Programs with dynamic scheduling, Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras, Almost structural completeness; an algebraic approach, Peirce algebras, An analog of Beth's theorem in normal extensions of the modal logic K4, Finite models are one-generated, Isomorphic but not base-isomorphic base-minimal cylindric set algebras, The decision problem of modal product logics with a diagonal, and faulty counter machines, A non-representable cylindric algebra with pairing functions, Towards automating duality, A foundation for conceptual data structures by cylindric and partial algebras, Expressive power and succinctness of the positive calculus of binary relations, Dynamic algebras with test, Unnamed Item, Leon Henkin and Cylindric Algebras, Leon Henkin the Reviewer, Changing a Semantics: Opportunism or Courage?, Representations of polyadic-like equality algebras, Unifying Heterogeneous State-Spaces with Lenses, A preliminary study of MV-algebras with two quantifiers which commute, Dynamic squares, A note on neat reducts, On taking subalgebras of relativized relation algebras, Subcompletions of representable relation algebras, Elementary generation and canonicity for varieties of Boolean algebras with operators, THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS, Decidable and undecidable logics with a binary modality, Free \(Q\)-distributive lattices, Complexity of equations valid in algebras of relations. I: Strong non-finitizability, Complexity of equations valid in algebras of relations. II: Finite axiomatizations, The calculus of relations as a foundation for mathematics, Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties, On the representability of neatly embeddable CA's by cylindric relativized algebras, Epimorphisms in varieties of residuated structures, Enlargements of functional algebras for the lambda calculus, Bare canonicity of representable cylindric and polyadic algebras, A short proof of representability of fork algebras, A logic for rough sets, A category equivalence for odd Sugihara monoids and its applications, A construction of cylindric and polyadic algebras from atomic relation algebras, Relation algebras of every dimension, The universal theory of first order algebras and various reducts, A brief history of Tarskian algebraic logic with new perspectives and innovations, Epimorphism surjectivity in varieties of Heyting algebras, Unity in nominal equational reasoning: the algebra of equality on nominal sets, Relation algebras of Sugihara, Belnap, Meyer, and Church, New perspectives in algebraic logic, from neat embeddings to Erdős graphs, Relation algebras can tile, Axiomatization of modal logic squares with distinguished diagonal, Isomorphic but not lower base-isomorphic cylindric set algebras, The class of completely representable polyadic algebras of infinite dimensions is elementary, A non-axiomatizability result in algebraic logic, Undecidable theories of Lyndon algebras, Reconciling First-Order Logic to Algebra, Monadic bounded commutative residuated \(\ell\)-monoids, Algebraization of quantifier logics, an introductory overview, Discriminator varieties and symbolic computation, Probabilities defined on standard and non-standard cylindric set algebras, Complexity of equational theory of relational algebras with standard projection elements, Neat embeddings as adjoint situations, Cylindric algebras and finite polyadic algebras, Term algebras of elementarily equivalent atom structures, Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras, On varieties of groupoids of relations with operation of binary cylindrification., Neat embeddings, omitting types, and interpolation: an overview, Axiomatizing the logical core of XPath 2.0, Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms, A remark of representable positive cylindric algebras, Some results about neat reducts, Beth definability and the Stone-Weierstrass theorem, First order logic without equality on relativized semantics, Identities of groupoids of relations with operation of cylindered intersection, Monadic bounded hoops, Undecidability of First-Order Intuitionistic and Modal Logics with Two variables, Weakly higher order cylindric algebras and finite axiomatization of the representables, Existence of partial transposition means representability in cylindric algebras, Strong Amalgamation in Systems of Varieties, Amalgamation, interpolation, and implicit definability in varieties of algebras, Isotyped algebras, Primitive Satisfaction and Equational Problems for Lattices and Other Algebras, A note on substitutions in representable cylindric algebras, Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations, Epimorphisms, definability and cardinalities, Strongly representable atom structures of cylindric algebras, Omitting types for algebraizable extensions of first order logic, On a theorem of Vaught for first order logic with finitely many variables, Is ``Some-other-time sometimes better than ``Sometime for proving partial correctness of programs?, On neat embeddings of cylindric algebras, The class of polyadic algebras has the super amalgamation property, Unifying threads in Alfred Tarski's work, Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property, On generalization of definitional equivalence to non-disjoint languages, Algebraic geometry in first-order logic, Monadic Boolean algebras with an automorphism and their relation to \({\mathbf{Df}}_{\mathbf{2}} \)-algebras, Atoms in infinite dimensional free sequence-set algebras, Notions of density that imply representability in algebraic logic, Epimorphisms in cylindric algebras and definability in finite variable logic, The semigroup of not bijective finite selfmaps of an infinite set, On the Structure of Lindenbaum Algebras: An Approach Using Algebraic Logic, On the strength of temporal proofs, A portrait of Alfred Tarski