Results 1 to 10 of about 41 (33)

A construction of cylindric and polyadic algebras from atomic relation algebras [PDF]

Algebra universalis, 2012
The purpose of this paper is to present a construction that does preserve and reflect representability in higher dimensions than 3. Given a simple atomic relation algebra \({\mathcal A}\) and a finite \(n\geq 3\), the author constructs effectively an atomic \(n\)-dimensional polyadic equality-type algebra \({\mathcal P}\) that for any signature \(L ...
Ian Hodkinson
exaly   +5 more sources

On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results [PDF]

Bulletin of the Section of Logic, 2021
Fix a finite ordinal \(n\geq 3\) and let \(\alpha\) be an arbitrary ordinal. Let \(\mathsf{CA}_n\) denote the class of cylindric algebras of dimension \(n\) and \(\sf RA\) denote the class of relation algebras.
Tarek Sayed Ahmed
doaj   +3 more sources

Characterizing amalgmation bases for relation, cylindric and polyadic algebras

, 2013
We characterize completey (give a necessary and suffcient condition using special neat embeddings)for a relation algebra to belong to the amalgamation, strong amalgamation, and superamalgamation base of the class of representable algebras. We do the same for cylindric and polyadic algebras for all dimensions >1, infinite included.
openaire   +2 more sources

POLYADIC BOOLEAN ALGEBRAS. [PDF]

Proc Natl Acad Sci U S A, 1954
Halmos PR.
europepmc   +1 more source

PREDICATES, TERMS, OPERATIONS, AND EQUALITY IN POLYADIC BOOLEAN ALGEBRAS. [PDF]

Proc Natl Acad Sci U S A, 1956
Halmos PR.
europepmc   +1 more source

Relation algebras from cylindric and polyadic algebras

Logic Journal of IGPL, 1997
This interesting paper is a survey of results on the connections between cylindric algebras, polyadic algebras, and relation algebras. Of central concern is the standard construction which, although it is applicable to any cylindric algebra of dimension 3 or more, is guaranteed to produce a relation algebra only when the dimension is 4 or more. Many of
István Németi, András Simon
openaire   +5 more sources

Quasi-Polyadic Algebras and Their Dual Position

Notre Dame Journal of Formal Logic, 2022
Miklós Ferenczi
exaly  

Cylindric Algebras and Finite Polyadic Algebras

Algebra Universalis, 2018
Miklós Ferenczi
exaly  

Finitary Polyadic Algebras From Cylindric Algebras

Studia Logica, 2007
Miklós Ferenczi
exaly  

Polyadic and Cylindric Algebras of Sentences

Mathematical Logic Quarterly, 2006
Tarek Sayed Ahmed
exaly