Describing a Basis in Semireduced Form for Inference Rules of Intuitionistic Logic

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

Год издания: 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)

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.