Тип публикации: статья из журнала

Год издания: 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 coПоказать полностьюnstructed 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)
• Список ВАК