Погружение исчисления RM в его позитивный фрагмент.
##plugins.themes.bootstrap3.article.sidebar##
Published:
04.11.2003
##plugins.themes.bootstrap3.article.main##
Abstract
A translation from the calculus RM [1] to the positive fragment o f RM is constructed.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Karpenko I., Popov V. Погружение исчисления RM в его позитивный фрагмент. // Logicheskie Issledovaniya / Logical Investigations. 2003. VOL. 10. C. 94-99.
Issue
Section
Papers
References
Anderson A. R., Belnap N. D., jr. Entailment: The Logic o f Relevance and Necessity. Vol. 1. Princeton, 1975. P. 339-341.
Sugihara T. Strict implication free from implicational paradoxes // Memoirs o f the Faculty o f Liberal Arts. Fukui University. Series I, 1955. P. 55-59.
Sugihara T. Strict implication free from implicational paradoxes // Memoirs o f the Faculty o f Liberal Arts. Fukui University. Series I, 1955. P. 55-59.