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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Aristotle, The Complete Works of Aristotle. The Revised Oxford Translation, vol. 1, Jonathan Barnes (ed.), Princeton/NJ: Princeton University Press, 1984.
Burge, T., ‘Truth and Singular Terms’, in K. Lambert (ed.), 1991, pp. 189–204.
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)
Gentzen, G., ‘Untersuchungen über das logische Schliessen’, Math. Zeitschrift 39 (1934-5), 176–210, 405–431.
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.
Gumb R.D.: ‘An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions’. Studia Logica 69, 279–292 (2001)
Hintikka, J., ‘Definite descriptions and self-identity’, Philosophical Studies (1964), 5–7.
Kleene S.C.: Mathematical Logic. John Wiley & Sons, New York (1967)
Lambert, K., ‘Free Logics’, in L. Goble (ed.), The Blackwell Guide to Philosophical Logic, Malden, Ma.: Blackwell, 2001, pp. 258–279.
Lambert, K., Free Logics: Their Foundations, Character and Somme Applications Thereof, Sankt Augustin: Academia Verlag, 1997.
Lambert K.: Philosophical Applications of Free Logic. Oxford University Press, Oxford (1991)
Morscher, E., Hieke, A. (eds): New Essays in Free Logic In Honour of Karel Lambert. Kluwer, Dordrecht-Boston-London (2001)
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.
Scales, Ronald D., Attribution and Existence, Ph.D. Thesis (University of California, Irvine), 1969.
Schütte K.: Beweistheorie. Springer, Berlin-Gttingen-Heidelberg (1960)
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)
Schock R.: Logics without Existence Assumptions. Almqvist and Wiksell, Stockholm (1968)
Takeuti G.: Proof Theory. Amsterdam-Lausanne-New York-Oxford-Tokyo, North Holland (1987)
Troelstra A.S., Schwichtenberg H.: Basic Proof Theory. Cambridge University Press, Cambridge (2000)
Author information
Authors and Affiliations
Corresponding author
Rights 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
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-010-9293-z