RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 1997, том 36, номер 2, страницы 121–155 (Mi al2386)

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

Об отношении между интуиционистскими и классическими модальными логиками

Ф. Вольтерa, М. В. Захарьящевb

a School of Information Science, JAIST, Japan
b Freie Universität Berlin, Institut für Mathematik

Аннотация: Интуиционистская пропозициональная логика $\operatorname{Int}$ и ее расширения, известные как промежуточные или суперинтуиционистские логики, во многих аспектах могут рассматриваться в точности как фрагменты классических модальных логик, содержащих $\mathbf{S4}$. Основная цель этой статьи – построить подобное соответствие между промежуточными логиками, обогащенными модальными операторами, – мы называем их интуиционистскими модальными логиками – и классическими полимодальными логиками. Изучается класс интуиционистских полимодальных логик, в котором модальные операторы удовлетворяют только правилам конгруэнции и могут рассматриваться как различные сорта независимых $\square$ и $\lozenge$.

УДК: 510.64

Поступило: 13.09.1995


 Англоязычная версия: DOI: 10.1007/BF02672476

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


© МИАН, 2024