Proto-Entailment in RS logic


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.






Beziau, J.-Y., Questions about universal logic, Bulletin of the Section of Logic 35:133–150, 2006.
Beziau, J.-Y., What is Propositional Classical Logic? (A Study in Universal Logic), Logical Investigations 8:266–277, 2001.
Kubyshkina, E., Logic of rational subject, Proceedings of International scientific conference ‘Days of science of Philosophical department – 2011’, Kiev, 10:43–45, 2011.
Zaitsev, D.V., Grigoriev, O.M., Bepartite truth — one logic, Logical Investigations 17:121–139, 2011 (in Russian).
Shalack, V.I., An alternative definition of logical consequence, Logical Investigations 13:273–285, 2006 (in Russian).