Строго импликативные формулы в модальных логиках, близких к интуиционистской.
##plugins.themes.bootstrap3.article.main##
Abstract
In this paper some questions about strict implication in modal systems \textbf{S3} and \textbf{S4} are discussed. The first theorem shows that strict implication fragments of these logics have different properties: the fragment of \textbf{S4} is equivalent (but is not coincided) with the implication fragment of intuitionistic logic, but the fragment of \textbf{S3} is not such one. The second theorem of the paper is connected with an open question [8] on description of one variable strict implication fragment of \textbf{S3}: this fragment contains at least 24 non-equivalent formulas. The third theorem refutes a result of [13]: all the implication logics of the sequence [13] are coincided with implication fragment of intuitionistic logic, but in [13] it is «proved» that these logics form a strictly decreasing chain.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Chagrov A. Строго импликативные формулы в модальных логиках, близких к интуиционистской. // Logicheskie Issledovaniya / Logical Investigations. 1998. VOL. 6. C. 69-75.
Issue
Section
Papers