JOURNAL ARTICLE
Bare canonicity of representable cylindric and polyadic algebras
Year: 2013 Journal: Annals of Pure and Applied Logic Vol: 164 (9)Pages: 884-906 Publisher: Elsevier BV
Keywords:
Mathematics Mathematical proof Class (philosophy) Diagonal Order (exchange) Pure mathematics Interior algebra Algebra over a field Discrete mathematics Non-associative algebra Algebra representation Computer science
Metrics
15
Cited By
2.30
FWCI (Field Weighted Citation Impact)
30
Refs
0.90
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Advanced Algebra and Logic
Physical Sciences → Computer Science → Computational Theory and Mathematics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
semigroups and automata theory
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
On nonrepresentable G-polyadic algebras with representable cylindric reducts
Journal: Logic Journal of IGPL Year: 2010 Vol: 19 (1)Pages: 105-109
JOURNAL ARTICLE
Representable cylindric algebras
Leon HenkinJ. Donald MonkAlfred Tarski
Journal: Annals of Pure and Applied Logic Year: 1986 Vol: 31 Pages: 23-60
JOURNAL ARTICLE
Cylindric and Polyadic Algebras
Journal: Proceedings of the American Mathematical Society Year: 1957 Vol: 8 (1)Pages: 176-176
JOURNAL ARTICLE
Cylindric and polyadic algebras
Journal: Proceedings of the American Mathematical Society Year: 1957 Vol: 8 (1)Pages: 176-183
JOURNAL ARTICLE
Finitary Polyadic Algebras from Cylindric Algebras
Journal: Studia Logica Year: 2007 Vol: 87 (1)Pages: 1-11