Skip to main content
SpringerLink
Log in

The Natural Deduction Systems for the Three-Valued Nonsense Logics Z and E

  • Brief Communications
  • Published:
Moscow University Mathematics Bulletin Aims and scope

Abstract

The natural deduction systems for the three-valued nonsense logics Z and E are presented in the paper.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. D. A. Bochvar, “A Three-Valued Calculus and its Application to the Analysis of Paradoxes of Classical Extended Functional Calculus,” Matem. Shorn. 4 (2), 287 (1938).

    MATH  Google Scholar 

  2. S. Hallden, The Logic of Nonsense (Lundequista Bokhandeln, Uppsala, 1949).

    MATH  Google Scholar 

  3. G. Gentsen, “The Study of Logical Derivations,” in Mathematical Theory of Logical Derivation, Ed. by A. V. Idelson and G. E. Mints (Nauka, Moscow, 1967), pp. 9–74.

    Google Scholar 

  4. K. Halkowska, “A Note on Matrices for Systems of Nonsense-Logic,” Stud. Log. 48 (4), 461 (1989).

    Article  MathSciNet  MATH  Google Scholar 

  5. V. K. Finn and R. S. Grigolia, “Nonsense Logics and Their Algebraic Properties,” Theoria 59, 207 (1993).

    Article  MathSciNet  MATH  Google Scholar 

  6. H. D. Ebbinghaus. “Uber eine Pradikatenlogik mit partiell definierten Pradikaten und Funktionen,” Arch. Math. Logik 12, 39 (1969).

    Article  MATH  Google Scholar 

  7. L. Henkin, “The Completeness of the First-Order Functional Calculus,” J. Symb. Log. 14 (3), 159 (1949).

    Article  MathSciNet  MATH  Google Scholar 

  8. A. Tamminga, “Correspondence Analysis for Strong Three-Valued Logic,” Logical Studies 20, 255 (2014).

    MathSciNet  MATH  Google Scholar 

  9. B. Kooi and A. Tamminga, “Completeness via Correspondence for Extensions of the Logic of Paradox,” Rev. Symb. Log. 5 (4), 720 (2012).

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Philosophy, Leninskie Gory, Moscow State University, Moscow, 119991, Russia

    Ya. I. Petrukhin

Authors
  1. Ya. I. Petrukhin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ya. I. Petrukhin.

Additional information

Original Russian Text © Ya.I. Petrukhin. 2018. published in Vestnik Moskovskogo Universiteta. Matematika. Mekhanika. 2018. Vol. 73, No. 1, pp. 60-63.

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Petrukhin, Y.I. The Natural Deduction Systems for the Three-Valued Nonsense Logics Z and E. Moscow Univ. Math. Bull. 73, 30–33 (2018). https://doi.org/10.3103/S0027132218010059

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S0027132218010059

Search

Navigation