RUS  ENG
Полная версия
ЖУРНАЛЫ // Известия Российской академии наук. Серия математическая // Архив

Изв. АН СССР. Сер. матем., 1991, том 55, выпуск 2, страницы 384–406 (Mi im1015)

Эта публикация цитируется в 1 статье

О суперинтуиционистских пропозициональных логиках, связанных с частично упорядоченными множествами

В. И. Хомич


Аннотация: В работе приводится новый метод представления псевдобулевых алгебр через импликатуры специального вида, или частично упорядоченные множества. С его помощью строятся четыре последовательности псевдобулевых алгебр. Изучаются их свойства и свойства логик, задаваемых последовательностями. Устанавливается связь между этими логиками и логикой, состоящей из реализуемых пропозициональных формул, и решается проблема, сформулированная Хосои и Оно.

УДК: 510.6

MSC: Primary 03B60, 03F55, 03G05; Secondary 03B99

Поступило в редакцию: 16.11.1989


 Англоязычная версия: Mathematics of the USSR-Izvestiya, 1992, 38:2, 375–397

Реферативные базы данных:


© МИАН, 2024