Bases of admissible rules for K-saturated logics |
| |
| Authors: | V. V. Rimatskii |
| |
| Affiliation: | (1) Institute of Architecture and Construction, Siberian Federal University, pr. Svobodnyi 82, Krasnoyarsk, 660041, Russia |
| |
| Abstract: | Admissible inference rules for table modal and superintuitionistic logics are investigated. K-saturated logics are defined semantically. Such logics are proved to have finite bases for admissible inference rules in finitely many variables. __________ Translated from Algebra i Logika, Vol. 47, No. 6, pp. 750–761, November–December, 2008. |
| |
| Keywords: | admissible inference rules basis for admissible inference rules table modal logic superintuitionistic logic |
| 本文献已被 SpringerLink 等数据库收录！ |
|
