Geometrical representation theorems for cylindric-type algebras
Logic
2018-11-07 v1
Abstract
In this paper, we give new proofs of the celebrated Andr\'eka-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.
Keywords
Cite
@article{arxiv.1811.02327,
title = {Geometrical representation theorems for cylindric-type algebras},
author = {Mohamed Khaled and Tarek Sayed Ahmed},
journal= {arXiv preprint arXiv:1811.02327},
year = {2018}
}