Skip to main content
SpringerLink
Log in

A Sequent Calculus for a Negative Free Logic

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

This article presents a sequent calculus for a negative free logic with identity, called N. The main theorem (in part 1) is the admissibility of the Cut-rule. The second part of this essay is devoted to proofs of soundness, compactness and completeness of N relative to a standard semantics for negative free logic.

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

Similar content being viewed by others

References

  1. Aristotle, The Complete Works of Aristotle. The Revised Oxford Translation, vol. 1, Jonathan Barnes (ed.), Princeton/NJ: Princeton University Press, 1984.

  2. Burge, T., ‘Truth and Singular Terms’, in K. Lambert (ed.), 1991, pp. 189–204.

  3. Buss S.: ‘An Introduction to Proof Theory’. In: Buss, S. (eds) Handbook of Proof Theory, pp. 1–78. Elsevier, Amsterdam-Lausanne-New York-Oxford (1998)

    Chapter  Google Scholar 

  4. Gentzen, G., ‘Untersuchungen über das logische Schliessen’, Math. Zeitschrift 39 (1934-5), 176–210, 405–431.

  5. Gumb, R.D., ‘Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions’, in R. Dyckhoff (ed.), Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St. Andrews, Scotland, UK, July 2000, vol. 1847 of Lecture Notes in Artificial Intelligence, Berlin: Springer, 2000, pp. 268–278.

  6. Gumb R.D.: ‘An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions’. Studia Logica 69, 279–292 (2001)

    Article  Google Scholar 

  7. Hintikka, J., ‘Definite descriptions and self-identity’, Philosophical Studies (1964), 5–7.

  8. Kleene S.C.: Mathematical Logic. John Wiley & Sons, New York (1967)

    Google Scholar 

  9. Lambert, K., ‘Free Logics’, in L. Goble (ed.), The Blackwell Guide to Philosophical Logic, Malden, Ma.: Blackwell, 2001, pp. 258–279.

  10. Lambert, K., Free Logics: Their Foundations, Character and Somme Applications Thereof, Sankt Augustin: Academia Verlag, 1997.

  11. Lambert K.: Philosophical Applications of Free Logic. Oxford University Press, Oxford (1991)

    Google Scholar 

  12. Morscher, E., Hieke, A. (eds): New Essays in Free Logic In Honour of Karel Lambert. Kluwer, Dordrecht-Boston-London (2001)

    Google Scholar 

  13. Morscher, E., P.M. Simons, ‘Free Logic: A Fifty-Year Past and an Open Future’, in E. Morscher and A. Hieke (eds.), 2001, pp. 1–34.

  14. Scales, Ronald D., Attribution and Existence, Ph.D. Thesis (University of California, Irvine), 1969.

  15. Schütte K.: Beweistheorie. Springer, Berlin-Gttingen-Heidelberg (1960)

    Google Scholar 

  16. Scott, D. S., ‘Existence and Description in Formal Logic’, in R. Schoenmann (ed.), Bertrand Russell, Philosopher of the Century, London: Allen and Unwin: 1967, pp. 181–200. (Reprinted in Lambert (ed.), 1991)

  17. Schock R.: Logics without Existence Assumptions. Almqvist and Wiksell, Stockholm (1968)

    Google Scholar 

  18. Takeuti G.: Proof Theory. Amsterdam-Lausanne-New York-Oxford-Tokyo, North Holland (1987)

    Google Scholar 

  19. Troelstra A.S., Schwichtenberg H.: Basic Proof Theory. Cambridge University Press, Cambridge (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Munich Center for Mathematical Philosophy, Ludwigstrasse 31, 80539, München, Germany

    Norbert Gratzl

Authors
  1. Norbert Gratzl
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Norbert Gratzl.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Gratzl, N. A Sequent Calculus for a Negative Free Logic. Stud Logica 96, 331–348 (2010). https://doi.org/10.1007/s11225-010-9293-z

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-010-9293-z

Keywords

Search

Navigation