A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS

DOI10.1556/SScMath.38.2001.1-4.1zbMath0997.03052OpenAlexW2040991762MaRDI QIDQ4780286

Hajnalka Andréka

Publication date: 3 November 2002

Published in: Studia Scientiarum Mathematicarum Hungarica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1556/sscmath.38.2001.1-4.1

zbMATH Keywords

algebraic logicmulti-dimensional modal logicguarded fragmentcylindric algebrasalgebras of relationspolyadic algebrasmulti-modal logicfragments of first-order logicfinite variable logicsbounded fragmentdecidable fragments of first order logiclocally cubic algebras of relations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25) Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15) Other classes of algebras (08C99)

Related Items (7)

Quasi-polyadic algebras and their dual position ⋮ Representations of polyadic-like equality algebras ⋮ Cylindric algebras and finite polyadic algebras ⋮ Existence of partial transposition means representability in cylindric algebras ⋮ Geometrical representation theorems for cylindric-type algebras ⋮ Atoms in infinite dimensional free sequence-set algebras ⋮ The polyadic generalization of the Boolean axiomatization of fields of sets

This page was built for publication: A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS