|
|||||
|
|
Relation algebras from cylindric and polyadic algebras |
|
| Authors: | Nemeti I; Simon A |
| Institution: | Mathematical Institute, Hungarian Academy of Sciences, Budapest PF. 127, H-1364 Hungary. Email: andras@math-inst.hu |
| Abstract: | |
| Keywords: | relation algebras cylindric algebras polyadic algebras algebraic logic arrow logic proof theory finite variablefragments provability with 3 variables non-finitizability twisting non-standard models neat reducts representability |
| 本文献已被 Oxford 等数据库收录！ | |