Syntax and semantics of simple paracomplete logics

Main Article Content

V. M. Popov
V. O. Shangin

Аннотация




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.




Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
[1]
V. M. Popov и V. O. Shangin. Syntax and semantics of simple paracomplete logics // Логические исследования / Logical Investigations. 2018. Т. 19. № 1.
.
Раздел
Статьи