Несколько замечаний о естественных минимальных логиках: базисная и формальная логики А. Виссера и их модальные напарники.

##plugins.themes.bootstrap3.article.main##

A.V. Chagrov

Abstract

The main result is following: Visser’s basic logic $\mathbf{BPL}$ has a continuum of maximal normal modal companions and a continuum of maximal quasi-normal modal companions, the property "to be a modal companion of $\mathbf{BPL}$" is undecidable in normal case and in quasi-normal case. Some hypothesis about modal companions of Visser’s formal logic $\mathbf{FPL}$ is formulated.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Витер Д.А. Базисная логика и примитивно рекурсивная реализуемость // Логические исследования. Вып. 9. М: Наука, 2002.
Смирнов В.А. Формальный вывод и логические исчисления М.: Наука, 1972.
Чагров А.В. О границах множества модальных напарников интуиционистской логики // Неклассические логики и их применение. Вып. 10. М.: ИФ АН СССР, 1989. С. 74-81.
Чагров А.В. Формальная пропозициональная логика А. Виссера и ее расширения // Логические исследования. Вып. 10. М.: Наука, 2003. С. 204-211.
Чагров А.В., Чагрова Л.А. Об алгоритмической проблеме пропозициональной определимости формул первого порядка в семантике формальной логики А.Виссера // Труды научно-исследовательского семинара Логического центра Института философии РАН. Вып. XVII. М., 2004. С. 94-102.
Чагров А.В. Алгоритмическая проблема финитарного семантического следования для базисной и формальной логик А. Виссера // Логические исследования. Вып. 11. М.: Наука, 2004. С. 282-289.
Chagrov A., Zakharyashchev М. Modal Companions of Intermediate Propositional Logics // Studia Logica. 1991. Vol. 51. P.49-82.
Chagrov A., Zakharyashchev M. Modal Logic. Oxford University Press, 1997.
Sasaki K. Logics and Provability. ILLC Dissertation Series DS-2001-07.
Visser A. A propositional logic with explicit fixed points // Studia Logica. 1981. Vol. 40. P. 155-175.

##plugins.generic.recommendByAuthor.heading##

1 2 > >>