Natural Deduction Rules for Tomova’s Natural Implications

Vasilyi Shangin, Yaroslav Petrukhin


Natural Deduction Rules for Tomova’s Natural Implications

Полный текст:

PDF (English)


Asenjo F.G. A calculus of antinomies. Notre Dame Journal of Formal Logic 7(1), 1966, pp. 103-105.

Copi I.M., Cohen C., McMahon K. Introduction to Logic, Fourteenth Edition, Routledge, New York, 2011.

Karpenko A., Tomova N. Bochvar’s three-valued logic and literal paralogics: their lattice and functional equivalence. Logic and Logical Philosophy 26(2), 2017, pp. 207-235.

Kleene S.C. On a notation for ordinal numbers. The Journal of Symbolic Logic 3(4), 1938, pp. 150-155.

Komendantskaya, E.Y. Functional interdependence of regular Kleene logics. Logical Investigations 15, 2009, pp. 116-128 (in Russian).

Łukasiewicz J., Tarski, A. Investigations into the sentential calculus. Borkowski, L., ed. ‘Jan Łukasiewicz: Selected Works’, North-Holland Publishing Company, Amsterdam, 1930, pp. 131-152.

Petrukhin Y., Shangin V. Natural three-valued logics characterised by natural deduction. Logique et Analyse, forthcoming.

Priest G. Paraconsistent logic. Gabbay, M., Guenthner, F., ed. ‘Handbook of philosophical logic vol.6’, Kluwer, Dordrecht, 2002, pp. 287-393.

Shangin V.O. A precise definition of an inference (by the example of natural deduction systems for logics Ih;i). Logical Investigations 23(1), 2017, pp. 83-104.

Tomova N.E. A lattice of implicative extensions of regular Kleene’s logics. Reports on Mathematical Logic 47, 2012, pp. 173-182.

Tomova N.E. Implicative extensions of regular Kleene’s logics. Logical Investigations 16, 2010, pp. 233-258. (In Russian)


  • На текущий момент ссылки отсутствуют.

(c) 2018 Vasilyi Shangin, Yaroslav Petrukhin

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.