Погружение исчисления RM в его позитивный фрагмент.

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

I.A. Karpenko
V.M. Popov

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##

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.

##plugins.generic.recommendByAuthor.heading##

1 2 3 > >>