Skip to main content
Log in

An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

The logic of partial terms (LPT) is a variety of negative free logic in which functions, as well as predicates, are strict. A companion paper focused on nonconstructive LPTwith definite descriptions, called LPD, and laid the foundation for tableaux systems by defining the concept of an LPDmodel system and establishing Hintikka's Lemma, from which the strong completeness of the corresponding tableaux system readily follows. The present paper utilizes the tableaux system in establishing an Extended Joint Consistency Theorem for LPDthat incorporates the Robinson Joint Consistency Theorem and the Craig-Lyndon Interpolation Lemma. The method of proof is similar to that originally used in establishing the Extended Joint Consistency Theorem for positive free logic. Proof of the Craig-Lyndon Interpolation Lemma for formulas possibly having free variables is readily had in LPTand its intuitionistic counterpart. The paper concludes with a brief discussion of the theory of definitions in LPD.

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

Access this article

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

  • Beeson, M.: 1985, Foundations of Constructive Mathematics. Berlin: Springer.

    Google Scholar 

  • Bencievenga, E., K. Lambert, and B. van Fraassen: 1991, Logic, Bivalence, and Denotation. Atascadero, California: Ridgeview, second edition.

    Google Scholar 

  • ESPRIT CoFI Working Group: 2000, 'CoFI: The Common Framework Initiative for Algebraic Specification and Development (Various Documents)'. Available at http://www.briks.dk/Projects/CoFI.

  • Fitting, M.: 1996, First-Order Logic and Automated Theorem Proving. New York: Springer, second edition.

    Google Scholar 

  • Gumb, R.D.: 1979a, Evolving Theories. New York: Haven.

    Google Scholar 

  • Gumb, R.D.: 1979b, 'An Extended Joint Consistency Theorem for Free Logic with Equality'. Notre Dame Journal of Formal Logic 20, 321-335. Abstract in Journal of Symbolic Logic, 42:146, 1977.

    Google Scholar 

  • Gumb, R.D.: 1983, 'The Craig-Lyndon Interpolation Lemma for (Free) Intuitionistic Logic with Equality'. In (Leblanc and Gumb, 1983), pages 210-215.

  • Gumb, R.D.: 1984, 'An Extended Joint Consistency Theorem for a Family of Free Modal Logics with Equality'. Journal of Symbolic Logic 49, 174-183. Abstract in Journal of Symbolic Logic, 46:435-436, 1981.

    Google Scholar 

  • Gumb, R.D.: 2000, '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, pp. 268-278.

    Google Scholar 

  • Gumb, R.D., and K. Lambert: 1997, 'Definitions in Nonstrict Positive Free Logic'. Modern Logic 7, 25-55, 435-440. Corrected version available at http://www.cs.uml.edu/~gumb.

    Google Scholar 

  • Lambert, K.: 1987, 'On the Philosophical Foundations of Free Description Theory'. History and Philosophy of Logic 8, 57-66.

    Google Scholar 

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

    Google Scholar 

  • Leblanc, H.: 1976, Truth-Value Semantics. Amsterdam: North Holland.

    Google Scholar 

  • Leblanc, H., and R.D. Gumb (eds.): 1983, Essays in Epistemology and Semantics. New York: Haven.

    Google Scholar 

  • Parnas, D. L.: 1993, 'Predicate Logic for Software Engineering'. IEEE Transactions on Software Engineering 19, 856-861.

    Google Scholar 

  • Scales, R.: 1969, 'Attribution and Existence'. Ph.D. thesis, University of California, Irvine.

    Google Scholar 

  • Schock, R.: 1965, 'On Definitions'. Archiv für Mathematische Logik und Grundlagenforschung 8, 28-44.

    Google Scholar 

  • Schock, R.: 1968, Logics without Existence Assumptions. Stockholm: Almqvist and Wiksell.

    Google Scholar 

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

    Google Scholar 

  • Troelstra, A. S., and D. van Dalen: 1988, Constructivity in Mathematics, Vol. I and II. Amsterdam: North-Holland.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Gumb, R.D. An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions. Studia Logica 69, 279–292 (2001). https://doi.org/10.1023/A:1013822008159

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1013822008159

Navigation