|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Об одной последовательности табличных линейных паранормальных логик с неклассической импликациейстатья
- Автор: Попов В.М.
- Журнал: Евразийский Союз Ученых (ЕСУ)
- Номер: 7(52), 3 часть
- Год издания: 2018
- Первая страница: 20
- Последняя страница: 28
- Аннотация: Характерной чертой развития современной логической науки является тенденция изучения классов родственных логик, при этом нисколько не умоляется роль исследований отдельных логик (например, таких логик, как R, S4, трехзначная логика Лукасевича), представляющих тот или иной специальный интерес. В предлагаемой работе вводятся в рассмотрение такие табличные (то есть имеющие конечную характеристическую логическую матрицу) логики PNL[3], PNL[4], PNL[5],..., что для всякого целого числа k, которое больше 2, верно следующее: (I) для всякого целого числа j, которое больше k, PNL[j] строго включается в PNL[k], (II) PNL[k] строго включается в классическую пропозициональную логику, (III) PNL[k] строго включает позитивный фрагмент интуиционистской пропозициональной логики, но не включает позитивный фрагмент классической пропозициональной логики, (IV) PNL[k] является паранормальной логикой. Таким образом, исследования неклассических логик обогащаются новой разновидностью таблич- ных паранормальных логик.
- Добавил в систему: Маркин Владимир Ильич