|
|||||
|
|
Independent bases for rules admissible in pretabular logics |
|
| Authors: | Rybakov, V Kiyatkin, V Terziler, M |
| Affiliation: | A1 Mathematics Department, Krasnoyarsk University pr. Svobodnyi 79, 660 062, Krasnoyarsk, Russia. E-mail: rybakov@math.kgu.krasnoyarsk.su A2 Mathematics Dept., Science Faculty, Ege University, Bornova-Izmir, 35100, Turkey. E-mail: terziler@fenfak.ege.edu.tr |
| Abstract: | |
| Keywords: | Modal logic Superintuitionistic Logic Kripke Model Infernece Rule Admissible Rule Independent Rules |
| 本文献已被 Oxford 等数据库收录！ | |