A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS
Publication:4780286
DOI10.1556/SScMath.38.2001.1-4.1zbMath0997.03052OpenAlexW2040991762MaRDI QIDQ4780286
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
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
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)
This page was built for publication: A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS