Погружение исчисления RM в его позитивный фрагмент.
Article Sidebar
Опубликован:
04.11.2003
Main Article Content
Аннотация
A translation from the calculus RM [1] to the positive fragment o f RM is constructed.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Карпенко И., Попов В. Погружение исчисления RM в его позитивный фрагмент. // Логические исследования / Logical Investigations. 2003. Т. 10. C. 94-99.
Выпуск
Раздел
Статьи
Литература
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.