Serviços Personalizados
Journal
Artigo
Indicadores
Citado por SciELO
Acessos
Links relacionados
Similares em SciELO
Compartilhar
Computación y Sistemas
versão On-line ISSN 2007-9737versão impressa ISSN 1405-5546
Resumo
FIGALLO, Martín e MONICA-GOMES, Claudia. The Subalgebra Lattice of A Finite Diagonal–Free Two–Dimensional Cylindric Algebra. Comp. y Sist. [online]. 2023, vol.27, n.1, pp.327-333. Epub 16-Jun-2023. ISSN 2007-9737. https://doi.org/10.13053/cys-27-1-4544.
Diagonal–free two–dimensional cylindric algebras (Df2−algebras for short) are Boolean algebras enriched with two existential quantifiers which commute. Df2−algebras were introduced by A. Tarski, L. Chin and F. Thompson with the purpose of providing an algebraic device for the study of the first–order predicate calculus with two variables. This work is devoted to problems related to finite Df2−algebras. More precisely, we study and describe the family of subalgebras of a given finite Df2−algebra. Then, identifying the algebras of this family which are isomorphic, we provide a full description of the lattice of all non–isomorphic subalgebras of a given finite Df2−algebra.
Palavras-chave : Finite Boolean algebras; diagonal–free two–dimensional cylindric algebras; lattice of subalgebras.
![](/img/en/iconPDFDocument.gif)