|
Сибирские электронные математические известия, 2008, том 5, страницы 407–416
(Mi semr115)
|
|
|
|
Статьи
О моделях паранепротиворечивой логики с аксиомами Крайзеля–Патнема и Скотта
М. В. Стукачева Институт математики им. С. Л. Соболева СО РАН
Аннотация:
We combine the technique of canonical formulas for the class of extensions of minimal logic with the technique of Kripke $j$-frames. As a result, we characterize paraconsistent logic $\mathbf{Lskp}$ by finite Kripke frames.
Ключевые слова:
paraconsistent logic, canonical formulas, Kripke frame.
Поступила 30 июня 2008 г., опубликована 29 октября 2008 г.
Образец цитирования:
М. В. Стукачева, “О моделях паранепротиворечивой логики с аксиомами Крайзеля–Патнема и Скотта”, Сиб. электрон. матем. изв., 5 (2008), 407–416
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr115 https://www.mathnet.ru/rus/semr/v5/p407
|
|