Geometrical representation theorems for cylindric-type algebras

Autor:	Khaled, Mohamed, Ahmed, Tarek Sayed
Jazyk:	angličtina
Rok vydání:	2020
Předmět:	TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Computer Science::Logic in Computer Science FOS: Mathematics Cylindric algebras representability games and networks Mathematics - Logic Logic (math.LO) Primary 03G15 Secondary 03G25 03B45
Zdroj:	Quaestiones Mathematicae; Vol 43, No 1 (2020); 81-96
ISSN:	1607-3606 1727-933X
Popis:	In this paper, we give new proofs of the celebrated Andréka-Resek-Thompson representability results of certain axiomatized cylindric-like algebras. Such representability results provide completeness theorems for variants of first order logic, that can also be viewed as multi-modal logics. The proofs herein are combinatorial and we also use some techniques from game theory.Mathematics Subject Classification (2010): Primary 03G15; Secondary 03G25, 03B45.Keywords: Cylindric algebras, representability, games and networks
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5bd6a7f2b3f0113c4dd49f4457f5c4fb https://www.ajol.info/index.php/qm/article/view/193415 Zobrazit plný text záznamu