|
|||||
|
|
Two sequences of locally tabular superintuitionistic logics |
|
| Authors: | S. I. Mardaev |
| Affiliation: | (1) Institute of Mathematics AS of USSR, 630090 Novosibirsk 90, USSR |
| Abstract: | A negative solution of the problem posed by Maksimova [5] is given. Two sequences of Superintuitionistic logics are axiomatized by using an analogy of the operation  . |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |