Тип публикации: статья из журнала
Год издания: 2000
Аннотация: It is shown that a set of all rules in semireduced form whose premises satisfy a collection of specific conditions form a basis for all rules admissible in IPC. The conditions specified are quite natural, and many of them show up as properties of maximal theories in the canonical Kripke model for IPC. Besides, a similar basis is constructed for rules admissible in the superintuitionistic logic KC, a logic of the weak law of the excluded middle.
Издание
Журнал: Algebra and Logic
Выпуск журнала: Т. 39, № 6
Номера страниц: 412-422
ISSN журнала: 00025232
Место издания: Новосибирск
Издатель: Springer New York Consultants Bureau
Персоны
- Rybakov V.V. (Krasnoyarsk State University, Svobodnyi Prospekt 79, Krasnoyarsk 660049)
- Terziler M. (Ege University, 35 100 Bornova-Izmir, Turkey)
- Rimatskii V.V. (Krasnoyarsk State University, Svobodnyi Prospekt 79, Krasnoyarsk 660049)
Вхождение в базы данных
- Scopus
- Ядро РИНЦ (eLIBRARY.RU)
- Список ВАК
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.