scientific article; zbMATH DE number 3339390

J. Donald Monk, Leon Henkin, Alfred Tarski

Publication date: 1971

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

An application of infinitary universal algebra to set theory ⋮ Isomorphic but not base-isomorphic base-minimal cylindric set algebras ⋮ A non-representable cylindric algebra with pairing functions ⋮ On the structure of varieties with equationally definable principal congruences. III ⋮ Towards automating duality ⋮ Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras ⋮ Relation-algebraic semantics ⋮ On varieties of cylindric algebras with applications to logic ⋮ The abstract variable-binding calculus ⋮ The application of automated reasoning to questions in mathematics and logic ⋮ Dynamic squares ⋮ The structure of lattices of subframe logics ⋮ Subcompletions of representable relation algebras ⋮ Elementary generation and canonicity for varieties of Boolean algebras with operators ⋮ Parallel constructions of maximal path sets and applications to short superstrings ⋮ Primitive iteration and unary functions ⋮ A content semantics for quantified relevant logics. I ⋮ Applying, extending, and specializing pseudorecursiveness ⋮ Atom structures of cylindric algebras and relation algebras ⋮ Two new algebraic equivalents to the axiom of choice ⋮ The calculus of relations as a foundation for mathematics ⋮ Varieties of regular semigroups with uniquely defined inversion ⋮ A logic road from special relativity to general relativity ⋮ Enlargements of functional algebras for the lambda calculus ⋮ Bare canonicity of representable cylindric and polyadic algebras ⋮ A short proof of representability of fork algebras ⋮ Confluence in concurrent constraint programming ⋮ Computable stack functions for semantics of stack programs ⋮ Presenting functors on many-sorted varieties and applications ⋮ A construction of cylindric and polyadic algebras from atomic relation algebras ⋮ The Boolean algebra of the theory of linear orders ⋮ A fully abstract model for the exchange of information in multi-agent systems. ⋮ Generic local computation ⋮ A measure theoretic approach to logical quantification ⋮ Monadic bounded residuated lattices ⋮ Sequence recursiveness without cylindrification and limited register machines ⋮ R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ Mathematical modal logic: A view of its evolution ⋮ A survey of constraint-based programming paradigms ⋮ Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent ⋮ Identities of semigroups of relations with an operator of reflexive double cylindrification ⋮ Monadic GMV-algebras ⋮ Modeling biological systems in stochastic concurrent constraint programming ⋮ Monadic bounded commutative residuated \(\ell\)-monoids ⋮ Nondeterminism and infinite computations in constraint programming ⋮ Lambda abstraction algebras: representation theorems ⋮ Depth, \(\pi\)-character, and tightness in superatomic Boolean algebras ⋮ Algebraization of quantifier logics, an introductory overview ⋮ An introduction to mechanized reasoning ⋮ Cylindric algebras and finite polyadic algebras ⋮ Subsumption computed algebraically ⋮ Absorption and idempotency criteria for a problem in near-Boolean algebras ⋮ Logic in representations of groups ⋮ Unifying theories of reactive design contracts ⋮ Characterizing Mal'cev conditions ⋮ The class of topological spaces is equationally definable ⋮ A simple, purely algebraic proof of the completeness of some first order logics ⋮ Sequence-to-sequence recursiveness ⋮ Transforming semantics by abstract interpretation ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ An interpolation theorem for irredundant bases of closure structures ⋮ Investigations into quantified modal logic. I ⋮ The number of subdirectly irreducible algebras in a variety ⋮ Base-undecidable properties of universal varieties ⋮ Finite equational bases for finite algebras in a congruence-distributive equational class ⋮ A duality for Boolean algebras with operators ⋮ Some results about neat reducts ⋮ On universal algebraic constructions of logics ⋮ First order logic without equality on relativized semantics ⋮ Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness ⋮ Algèbres de Boole monadiques libres ⋮ Some sufficient conditions for the representability of relation algebras ⋮ On systems of varieties definable by schemes of equations ⋮ A new theory of quantifiers and term connectives ⋮ Canonical extensions and ultraproducts of polarities ⋮ On complete representations of reducts of polyadic algebras ⋮ On simplicity of formulas ⋮ The number of finitely generated infinite cylindric set algebras of dimension two ⋮ A unifying theorem for algebraic semantics and dynamic logics ⋮ The relational model of data and cylindric algebras ⋮ On the structure of varieties with equationally definable principal congruences. II ⋮ A finite equational axiomatization of the functional algebras for the lambda calculus ⋮ Monadic Boolean algebras with an automorphism and their relation to \({\mathbf{Df}}_{\mathbf{2}} \)-algebras ⋮ On the structure of varieties with equationally definable principal congruences. I ⋮ Notions of density that imply representability in algebraic logic ⋮ Epimorphisms in cylindric algebras and definability in finite variable logic ⋮ A sequent calculus for relation algebras ⋮ On the algebraic models of lambda calculus ⋮ On the subalgebra lattice of Peano algebras with finitary and infinitary operations ⋮ Constructive and algebraic methods of the theory of rough sets ⋮ Boolean combinations of monadic formulas ⋮ Equations not preserved by complete extensions ⋮ Decompositions of universal algebras by idempotent algebras ⋮ A timed concurrent constraint language. ⋮ On conceptual completeness of syntactic-semantical systems ⋮ On HCO spaces. An uncountable compact \(T_ 2\) space, different from \(\aleph_ 1+1\), which is homeomorphic to each of its uncountable closed subspaces ⋮ A portrait of Alfred Tarski ⋮ On coconnected algebras ⋮ On amalgamation in algebras of logic ⋮ Leon Henkin the Reviewer ⋮ Varieties of complex algebras ⋮ Sheaf Constructions and Their Elementary Properties ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Varying interpolation and amalgamation in polyadic MV-algebras ⋮ On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results ⋮ Orbital concept lattices ⋮ Quantum cylindric set algebras ⋮ О базисах тождеств многообразий группоидов отношений ⋮ On duality and model theory for polyadic spaces ⋮ ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS ⋮ Terms in Cylindric Algebras ⋮ Amalgamation of Polyadic Algebras ⋮ Discrete duality for De Morgan Algebras with operators ⋮ On Automating the Calculus of Relations ⋮ Mereocompactness and Duality for Mereotopological Spaces ⋮ Equations in the Theory of Monadic Algebras ⋮ Uncertain information: random variables in graded semilattices ⋮ Congruence lattices of pseudocomplemented semilattices ⋮ Free algebras in discriminator varieties ⋮ Cylindric Algebras and Algebras of Substitutions ⋮ A relation-algebraic approach to the region connection calculus ⋮ A Sheaf-Theoretic Duality Theory for Cylindric Algebras ⋮ 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 ⋮ On Algebraisation of Superintuitionistic Predicate Logics ⋮ Geometrical representation theorems for cylindric-type algebras ⋮ Primitive Satisfaction and Equational Problems for Lattices and Other Algebras ⋮ Cylindric Algebras of First-Order Languages ⋮ On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation ⋮ Algebraic Foundations for Inquisitive Semantics ⋮ Leon Henkin ⋮ Confluence in concurrent constraint programming ⋮ RALL: Machine-supported proofs for relation algebra ⋮ Atoms in infinite dimensional free sequence-set algebras ⋮ On the Structure of Lindenbaum Algebras: An Approach Using Algebraic Logic ⋮ Freeing Structural Realism from Model Theory ⋮ On identities of relation algebras with domino operations.