Results 111 to 120 of about 290 (150)

Quantum Cylindric Set Algebras

International Journal of Theoretical Physics, 2023
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
John Harding
exaly   +2 more sources

Finitary Polyadic Algebras from Cylindric Algebras

Studia Logica, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Miklós Ferenczi, Ferenczi Miklós
exaly   +3 more sources

Discrete Duality for Relation Algebras and Cylindric Algebras

, 2009
Following the representation theorems for relation algebras and cylindric algebras presented in [5] and [7] we develop discrete duality for relation algebras and relation frames, and for cylindric algebras and cylindric frames.
Ewa Orlowska, Ingrid Rewitzky
openaire   +2 more sources

Polyadic and cylindric algebras of sentences

Mathematical Logic Quarterly, 2006
AbstractIn this note we give an interpretation of cylindric algebras as algebras of sentences (rather than formulas) of first order logic. We show that the isomorphism types of such algebras of sentences coincide with the class of neat reducts of cylindric algebras. Also we show how this interpretation sheds light on some recent results.
Tarek Sayed Ahmed
exaly   +2 more sources

Cylindric algebras and finite polyadic algebras

Algebra Universalis, 2018
This survey paper is a short history of cylindric algebras and finitary polyadic algebras (a subclass of cylindric algebras with a transposition operator, which yields relativised representability). It is interesting and useful but is too brief, has a somewhat narrow point of view, is not sufficiently thorough, and is inaccurate or misleading in some ...
Miklós Ferenczi, Ferenczi Miklós
exaly   +3 more sources

Cylindric-like Algebras and Algebraic Logic

, 2013
Introduction.- H. Andreka and I. Nemeti: Reducing First-order Logic to Df3, Free Algebras.- N.Bezhanishvili: Varieties of Two-Dimensional Cylindric Algebras.- R. Hirsch and I. Hodkinson: Completions and Complete Representations.- J. Madarasz and T. Sayed Ahmed: Amalgamation, Interpolation and Epimorphisms in Algebraic Logic.- T.
Andréka, Hajnal, Németi, István, Ferenczi, Miklós   +2 more
openaire   +2 more sources

Geometrical representation theorems for cylindric-type algebras

Quaestiones Mathematicae, 2020
In this paper, we give new proofs of the celebrated Andréka-Resek-Thompson representability results of certain axiomatized cylindric-like algebras. Such representability results provide completeness theorems for variants of first order logic, that can ...
Mohamed Khaled, Tarek Sayed Ahmed
exaly   +1 more source

Varieties of two-dimensional cylindric algebras.¶Part I: Diagonal-free case

Algebra Universalis, 2002
In [2] we investigated the lattice Λ(Df 2) of all subvarieties of the variety Df 2 of two-dimensional diagonal free cylindric algebras. In the present paper we investigate the lattice Λ(CA2) of all subvarieties of the variety CA2 of two-dimensional ...
Nick Bezhanishvili
exaly   +2 more sources

Cylindric algebras with terms

Journal of Symbolic Logic, 1990
In this paper we discuss cylindric algebras with terms. The setting is two—sorted algebras—one sort for terms and one for Boolean elements. As with cylindric algebras, a cylindric algebra with terms has its roots in first order predicate logic [HMT1].Let Σ be a set of sentences in a first order language with terms, equality and variables u0,u1,u2 ...
openaire   +1 more source

On the number of generators of cylindric algebras

Journal of Symbolic Logic, 1985
The theory of cylindric algebras (CA's) is the algebraic theory of first order logics. Several ideas about logic are easier to formulate in the frame of CA-theory. Such are e.g. some concepts of abstract model theory (cf. [1] and [10]–[12]) as well as ideas about relationships between several axiomatic theories of different similarity types (cf.
Hajnal Andréka, István Németi
openaire   +2 more sources