Natural three-valued logics characterized by natural deduction

Yaroslav Petrukhin, Vasilyi Shangin


In this paper, we combine the concept of natural deduction and the concept of three-valued natural logic. In particular, we use a semantic definition of the concept of natural logic presented by N. Tomova. By using the correspondence analysis given by B. Kooi and A. Tamminga, we present a syntactical counterpart of the semantic definition in question, i.e. in this paper, three-valued natural logics are characterised by natural deduction systems.


Anderson, A. R. and Belnap, N. D. (1975), Entailment. The Logic of Relevance and Necessity Vol. 1, Princeton University Press, Princeton.

Asenjo, F. G. (1966), ‘A calculus of antinomies’, Notre Dame Journal of Formal Logic VII(I), 103–105.

Arieli, O. and Avron, A. (1996), ‘Reasoning with logical bilattices’, Journal of Logic, Language, and Information V(I), 25–63.

Avron, A. (1991), ‘Natural 3-valued logics — characterization and proof theory’, The Journal of Symbolic Logic LVI(I), 276–294.

Avron, A. (1999), ‘On the Proof Theory of Natural Many-valued Logics’, Col- legium Logicum (Annals of the Kurt Godel Society) III, 51–59.

Avron, A. (1991), ‘Simple Consequence relations’, Information and Computation XCII(I), 105–139.

Batens, D. (1980), ‘Paraconsistent extensional propositional logics’, Logique et Analyse XXIII(XC-XCI), 195–234.

Belnap, N.D. (1977), ‘A useful four-valued logic’, in Dunn, J.M., Epstein G., ed. ‘Modern Uses of Multiple-Valued Logic’, Reidel Publishing Company, Boston, pp. 7–37.

Belnap, N.D., ‘How a computer should think’, in Rule, G., ed. ‘Contemporary Aspects of Philosophy’, Oriel Press, Stocksfield, pp. 30–56.

Bolotov, A., Shangin, V. (2012), ‘Natural deduction system in paraconsistent set- ting: Proof search for PCont’, Journal of Intelligent Systems XXI(I), 1–24.

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

Ciucci D., Dubois D. (2013), ‘A modal theorem-preserving translation of a class of three-valued logics of incomplete information’, Journal of Applied Non- Classical Logics XXIII(IV), 321–352.

Ciucci D., Dubois D. (2015), From Possibility Theory to Paraconsistency in Beziau JY., Chakraborty M., Dutta S. eds. ‘New Directions in Paraconsistent Logic’, Springer Proceedings in Mathematics & Statistics, vol 152. Springer, New Delhi, pp. 229–247.

Dunn, J.M. (1976), ‘Intuitive semantics for first-degree entailment and coupled trees’, Philosophical Studies XXIX(III) 149–168.

Jaśkowski, S. (1934), ‘On the Rules of Suppositions in Formal Logic’, Studia Log- ica I, 5–32.

Karpenko, A., Tomova, N. (2017), ‘Bochvar’s three-valued logic and literal paralogics: Their lattice and functional equivalence’, Logic and Logical Philosophy XXVI(II), 207–235.

Kleene, S.C., Introduction to metamathematics, D. Van Nostrand Company, Inc., New York, Toronto.

Kleene, S.C. (1938), ‘On a notation for ordinal numbers’, The Journal of Symbolic Logic III(IV), 150–155.

Kooi, B., Tamminga, A. (2012), ‘Completeness via correspondence for exten- sions of the logic of paradox’, The Review of Symbolic Logic, V(IV), 720–730.

Komendantskaya, E.Y. (2009), ‘Functional interdependence of regular Kleene logics’, Logical Investigations XV, 116–128 (in Russian).

Łukasiewicz, J. (1970), On three-valued logic in Borkowski, L., ed. ‘Jan Łukasiewicz: Selected Works’, North-Holland Publishing Company, Amster- dam, pp. 87–88.

Łukasiewicz, J. and Tarski, A. (1930), Investigations into the sentential calcu- lus in Borkowski, L., ed. ‘Jan Łukasiewicz: Selected Works’, North-Holland Publishing Company, Amsterdam, pp. 131–152.

Petrukhin, Y.I. (2016), ‘Correspondence analysis for first degree entailment’, Logical Investigations XXII(I), 108–124.

Petrukhin, Y. (2017), ‘Natural deduction for three-valued regular logics’, Logic and Logical Philosophy XXVI(II), 197–206.

Petrukhin, Y. and Shangin, V. (2017), ‘Automated correspondence analysis for the binary extensions of the logic of paradox’, The Review of Symbolic Logic, forthcoming.

Popov, V. (2009), Between the logic Par and the set of all formulae in ‘The Proceeding of the 6th Smirnov Readings in logic’, Contemporary notebooks, Moscow, pp. 93–95 (In Russian).

Popov, V. (1989), Sequent formulations of paraconsistent logical systems in Smirnov, V. A., ed. ‘Syntactic and semantic investigations of non-extensional logics’, Nauka, Moscow, pp. 285–289 (in Russian).

Priest, G. (1979), ‘The logic of paradox’, Journal of Philosophical Logic VIII(I), 219– 241.

Priest, G. (2002), Paraconsistent logic in Gabbay, M., Guenthner, F., ed. ‘Hand- book of philosophical logic vol.6’, Kluwer, Dordrecht, pp. 287–393.

Razborov, A. and Rudich, S. (1997), ‘Natural proofs’, Journal of Computer and System Sciences LV(I), 24–35.

Rozonoer, L. (1983), ‘On finding contradictions in formal theories. I’, Automatica and Telemekhanic VI, 113–124 (in Russian).

Sahlqvist, H. (1975), Completeness and correspondence in the first and second order semantics for modal logic, in Kanger, S., ed. ‘Proceeding of the Third Scandinavian Logic Symposium’, Amsterdam, North-Holland Publishing Company, pp. 110–143.

Shangin, V.O. (2017), ‘A precise definition of an inference (by the example of natural deduction systems for logics I⟨α,β⟩)’, Logical Investigations XXIII(I), 83– 104.

Szabo, M.E., ed. (1969), The collected works of Gerhard Gentzen, North-Holland Publishing Company, Amsterdam.

Tamminga, A. (2014), ‘Correspondence analysis for strong three-valued logic’, Logical Investigations XX, 255–268.

Tennant, N. (1978), Natural Logic. Edinburgh University Press, Edinburgh.

Tomova, N. E. (2012), ‘A lattice of implicative extensions of regular Kleene’s logics’, Report on Mathematical Logic XXXXVII, 173–182.

Tomova, N. E. (2015), ‘Natural implication and modus ponens principle’, Logical Investigations, XXI(I), 138–143.

Tomova, N. E. (2015), ‘Erratum to: Natural implication and modus ponens prin- ciple’, Logical Investigations XXI(II), 186–187.

Urquhart, A. (2001), Basic many-valued logic in Gabbay, M., Guenthner, F., ed. ‘Handbook of philosophical logic vol.2’, Kluwer, Dordrecht, pp. 249–295.

van Benthem, J. (1976). Modal correspondence theory. PhD Thesis, Universiteit van Amsterdam, Amsterdam.

van Benthem, J. (2001), Correspondence theory in Gabbay, M., Guenthner, F., ed. ‘Handbook of philosophical logic vol.2’, Kluwer, Dordrecht, pp. 325-408.


  • There are currently no refbacks.