On the definition and the representability of quasi-polyadic equality algebras (original) (raw)
Related papers
Studia Scientiarum Mathematicarum Hungarica, 2013
The representations of polyadic-like equality algebras
arXiv (Cornell University), 2011
Representations of polyadic-like equality algebras
Algebra universalis, 2015
On the equational theory of representable polyadic equality algebras (extended abstract)
Logic Journal of IGPL, 1998
Cylindric algebras and finite polyadic algebras
Algebra universalis, 2018
Exploring Canonical Axiomatisations of Representable Cylindric Algebras
2011
Quasi-Algebras versus Regular Algebras - Part I
Scientific Annals of Computer Science, 2015
The polyadic generalization of the Boolean axiomatization of fields of sets
Transactions of the American Mathematical Society, 2012
Categorical Equivalences for Formula quasi-MV Algebras
Journal of Logic and Computation, 2010
Non-commutative EQ-logics and their extensions
Proc. World Congress IFSA-EUSFLAT, 2009
On algebras with a generalized implication
Mathematica Slovaca, 2013
The Logic of Quasi-MV Algebras
Francesco Paoli, Roberto Giuntini
Journal of Logic and Computation, 2010
A preliminary study of MV-algebras with two quantifiers which commute
Mathematical Logic Quarterly, 1995
Relation algebras from cylindric algebras, II
Annals of Pure and Applied Logic, 2001
Ideal Related Algebras and Their Logics Extended Abstract
Lecture Notes in Computer Science, 2020
A note on quasi-associative algebras
Proceedings of the American Mathematical Society, 1966
Polyadic and cylindric algebras of sentences
MLQ, 2006
Bare canonicity of representable cylindric and polyadic algebras
arXiv preprint arXiv:1202.5961, 2012
On the search for a finitizable algebraization of first order logic
Logic Journal of IGPL, 2000
An Attempt to Treat Unitarily the Algebras of Logic. New Algebras 1
2007
Axiomatizability of positive algebras of binary relations
Algebra universalis, 2011
Logics from ' quasi-MV algebras
International Journal of Theoretical Physics, 2011
On the Category of EQ-algebras
Bulletin of the Section of Logic, 2021
The free non-commutative cylindric algebras are not atomic
Log. J. IGPL, 2017
Epimorphisms in cylindric algebras and definability in finite variable logic
Algebra universalis, 2009
A finite axiomatization of locally square cylindric-relativized set algebras
Some Types of Filters in Equality Algebras
2017
Axiomatization of identity-free equations valid in relation algebras
Algebra Universalis, 1996
Reducts of Relation Algebras: The Aspects of Axiomatisability and Finite Representability
Logical Foundations of Computer Science, 2021