Proto-Entailment in RS logic

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

D.V. Zaitsev

Abstract

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.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

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).