Open AccessЕстественные p-логики
Author(s) -
Наталья Евгеньевна Томова
Publication year - 2011
Publication title -
logičeskie issledovaniâ
Language(s) - Russian
Resource type - Journals
eISSN - 2413-2713
pISSN - 2074-1472
DOI - 10.21146/2074-1472-2011-17-0-256-268
Subject(s) - physics , mathematics
В данной статье обобщено понятие $p$ -логики и рассмотрен класс естественных $p$ -логик и его функциональные свойства. Показано, что паранепротиворечивая логика $\mathbf {P}^1$ и параполная логика $\mathbf{I}^1$ функционально эквивалентны. В заключение естественные $p$ -логики представлены в виде решетки