Syntax and semantics of simple paracomplete logicsстатья

Статья опубликована в журнале из перечня ВАК

Работа с статьей

Прикрепленные файлы


Имя Описание Имя файла Размер Добавлен Добавил
1. Полный текст LI19_Popov_Shangin.pdf 255,7 KБ 2 января 2015 Попов В.М.

[1] Popov V. M., Shangin V. O. Syntax and semantics of simple paracomplete logics // Логические исследования. — 2013. — Vol. 19. — P. 325–334. For an arbitrary fixed element β in {1; 2; 3; ...; ω} both a sequent calculus and a natural deduction calculus which axiomatise simple paracomplete logic I2;β are built. Additionally, a valuation semantic which is adequate to logic I2;β is constructed. For an arbitrary fixed element γ in {1; 2; 3;...} a cortege semantic which is adequate to logic I2;γ is described. A number of results obtainable with the axiomatisations and semantics in question are formulated.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть