|
|||||
|
|
Finite schematizable algebraic logic |
|
| Authors: | Sain, I Gyuris, V |
| Affiliation: | Mathematical Institute, Hungarian Academy of Sciences, Budapest PF. 127, h-1364 Hungary. E-mail: sain@math-inst.hu A1 Department of Mathematics, Statistics & Computer Science, University of Illinois at Chicago, 851 S Morgan Street, Chicago, IL 60607-7045, USA. E-mail: viktor@math.uic.edu or viktor@ludens.elte.hu |
| Abstract: | |
| Keywords: | algebraic logic, finitization problem, finite schemaaxiomatization, cylindric algebras, polyadic algebras, relationalgebras first order logic (with and without equality), substitution-in variant version of first order logic, modal logic of quantificationand substitution, multi-dimensional modal logic completenessproblem of logics semigroups of transformation |
| 本文献已被 Oxford 等数据库收录！ | |