Natural deduction for Kleene’s three- and four-valued logics

Yaroslav Petrukhin

PDF (English)

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

Fitting M. Kleene’s Three Valued Logics and Their Children. Fundamenta informaticae 20(1-3), 1994, pp. 113-131.

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

Petrukhin Y. Natural Deduction for Three-Valued Regular Logics. Logic and Logical Philosophy, 26(2), 2017, pp. 197-206.

Petrukhin Y.I. Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics. Logica Universalis, 11(4), 2017, pp. 525-532.

Petrukhin Y. Natural Deduction for Four-Valued both Regular and Monotonic Logics. Logic and Logical Philosophy, 27(1), 2018, pp. 53-66.

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

Tomova N.E. About four-valued regular logics. Logical Investigations 15, 2019, pp. 223-228. (In Russian)

Логико-философские штудии