Proto-Entailment in RS logic

Main Article Content

D. V. Zaitsev


In this paper I propose a formalization of proto-entailment relation introduced by V. Shalak by means of RS logic. The first section clarifies the idea and formal developments of RS logic, which is the logic of Rational Subject. In the second section I will very briefly introduce the conception of proto-entailment as it was promoted in Shalak’s writings. The third section contains the formal account for proto-entailment and axiotimatization of resulting logic.


Данные скачивания пока не доступны.

Article Details

Как цитировать
D. V. Zaitsev. Proto-Entailment in RS logic // Логические исследования / Logical Investigations. 2018. Т. 19. № 1.