On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality

2015 ◽  
Vol 61 (6) ◽  
pp. 418-477 ◽  
Author(s):  
Tarek Sayed Ahmed
Keyword(s):  
Polyadic Algebras

An autobiography of polyadic algebras

2000 ◽  
Vol 8 (4) ◽  
pp. 383-392 ◽  
Author(s):  
P. Halmos
Keyword(s):  
Polyadic Algebras

Finitary Polyadic Algebras from Cylindric Algebras

Studia Logica ◽  
2007 ◽  
Vol 87 (1) ◽  
pp. 1-11 ◽  
Author(s):  
Miklós Ferenczi
Keyword(s):  
Cylindric Algebras ◽  
Polyadic Algebras

On the equational theory of representable polyadic equality algebras

2000 ◽  
Vol 65 (3) ◽  
pp. 1143-1167 ◽  
Author(s):  
István Németi ◽  
Gábor Sági
Keyword(s):  
Representation Theorem ◽  
Equational Theory ◽  
Polyadic Algebras ◽  
Negative Results ◽  
Positive Results

AbstractAmong others we will prove that the equational theory of ω dimensional representable polyadic equality algebras (RPEAω's) is not schema axiomatizable. This result is in interesting contrast with the Daigneault-Monk representation theorem, which states that the class of representable polyadic algebras is finite schema-axiomatizable (and hence the equational theory of this class is finite schema-axiomatizable. as well). We will also show that the complexity of the equational theory of RPEAω is also extremely high in the recursion theoretic sense. Finally, comparing the present negative results with the positive results of Ildikó Sain and Viktor Gyuris [12], the following methodological conclusions will be drawn: The negative properties of polyadic (equality) algebras can be removed by switching from what we call the “polyadic algebraic paradigm” to the “cylindric algebraic paradigm”.

scholarly journals Polyadic algebras over nonclassical logics

1993 ◽  
Vol 28 (1) ◽  
pp. 51-66 ◽  
Author(s):  
Don Pigozzi ◽  
Antonino Salibra
Keyword(s):  
Polyadic Algebras ◽  
Nonclassical Logics
Sign in / Sign up

Export Citation Format

Share Document