|
|||||
|
|
On the search for a finitizable algebraization of first order logic |
|
| Authors: | Sain I |
| Affiliation: | Algréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, Budapest, PF. 127, H-1364, Hungary E-mail: sain@renyi.hu |
| Abstract: | |
| Keywords: | Algebraic logic finitization problem representation problem finite axiomatization completeness problem ultraproducts formula schemes cylindric algebras polyadic algebras algebras of relations finite presentation of semigroups of relations. |
| 本文献已被 Oxford 等数据库收录！ | |