{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:23:01Z","timestamp":1755220981053,"version":"3.43.0"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2001,11,1]],"date-time":"2001-11-01T00:00:00Z","timestamp":1004572800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,11,1]],"date-time":"2001-11-01T00:00:00Z","timestamp":1004572800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[2001,11]]},"DOI":"10.1023\/a:1013822008159","type":"journal-article","created":{"date-parts":[[2003,3,20]],"date-time":"2003-03-20T21:15:11Z","timestamp":1048194911000},"page":"279-292","source":"Crossref","is-referenced-by-count":5,"title":["An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions"],"prefix":"10.1007","volume":"69","author":[{"given":"Raymond D.","family":"Gumb","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"389687_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of Constructive Mathematics","author":"M. Beeson","year":"1985","unstructured":"Beeson, M.: 1985, Foundations of Constructive Mathematics. Berlin: Springer."},{"key":"389687_CR2","volume-title":"Logic, Bivalence, and Denotation","author":"E. Bencievenga","year":"1991","unstructured":"Bencievenga, E., K. Lambert, and B. van Fraassen: 1991, Logic, Bivalence, and Denotation. Atascadero, California: Ridgeview, second edition.","edition":"second edition"},{"key":"389687_CR3","unstructured":"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."},{"key":"389687_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2360-3","volume-title":"First-Order Logic and Automated Theorem Proving","author":"M. Fitting","year":"1996","unstructured":"Fitting, M.: 1996, First-Order Logic and Automated Theorem Proving. New York: Springer, second edition.","edition":"second edition"},{"key":"389687_CR5","volume-title":"Evolving Theories","author":"R.D. Gumb","year":"1979","unstructured":"Gumb, R.D.: 1979a, Evolving Theories. New York: Haven."},{"key":"389687_CR6","first-page":"321","volume":"20","author":"R.D. Gumb","year":"1979","unstructured":"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.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"389687_CR7","unstructured":"Gumb, R.D.: 1983, 'The Craig-Lyndon Interpolation Lemma for (Free) Intuitionistic Logic with Equality'. In (Leblanc and Gumb, 1983), pages 210-215."},{"key":"389687_CR8","doi-asserted-by":"crossref","first-page":"174","DOI":"10.2307\/2274100","volume":"49","author":"R.D. Gumb","year":"1984","unstructured":"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.","journal-title":"Journal of Symbolic Logic"},{"key":"389687_CR9","first-page":"268","volume-title":"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","author":"R.D. Gumb","year":"2000","unstructured":"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."},{"key":"389687_CR10","first-page":"25","volume":"7","author":"R.D. Gumb","year":"1997","unstructured":"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.","journal-title":"Modern Logic"},{"key":"389687_CR11","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1080\/01445348708837108","volume":"8","author":"K. Lambert","year":"1987","unstructured":"Lambert, K.: 1987, 'On the Philosophical Foundations of Free Description Theory'. History and Philosophy of Logic 8, 57-66.","journal-title":"History and Philosophy of Logic"},{"volume-title":"Philosophical Applications of Free Logic","year":"1991","key":"389687_CR12","unstructured":"Lambert, K. (ed.): 1991, Philosophical Applications of Free Logic. Oxford: Oxford University Press."},{"key":"389687_CR13","volume-title":"Truth-Value Semantics","author":"H. Leblanc","year":"1976","unstructured":"Leblanc, H.: 1976, Truth-Value Semantics. Amsterdam: North Holland."},{"volume-title":"Essays in Epistemology and Semantics","year":"1983","key":"389687_CR14","unstructured":"Leblanc, H., and R.D. Gumb (eds.): 1983, Essays in Epistemology and Semantics. New York: Haven."},{"key":"389687_CR15","doi-asserted-by":"crossref","first-page":"856","DOI":"10.1109\/32.241769","volume":"19","author":"D. L. Parnas","year":"1993","unstructured":"Parnas, D. L.: 1993, 'Predicate Logic for Software Engineering'. IEEE Transactions on Software Engineering 19, 856-861.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"389687_CR16","volume-title":"Attribution and Existence","author":"R. Scales","year":"1969","unstructured":"Scales, R.: 1969, 'Attribution and Existence'. Ph.D. thesis, University of California, Irvine."},{"key":"389687_CR17","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1007\/BF01987833","volume":"8","author":"R. Schock","year":"1965","unstructured":"Schock, R.: 1965, 'On Definitions'. Archiv f\u00fcr Mathematische Logik und Grundlagenforschung 8, 28-44.","journal-title":"Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"},{"key":"389687_CR18","volume-title":"Logics without Existence Assumptions","author":"R. Schock","year":"1968","unstructured":"Schock, R.: 1968, Logics without Existence Assumptions. Stockholm: Almqvist and Wiksell."},{"key":"389687_CR19","first-page":"181","volume-title":"Bertrand Russell, Philosopher of the Century","author":"D. S. Scott","year":"1967","unstructured":"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)."},{"key":"389687_CR20","volume-title":"Constructivity in Mathematics","author":"A. S. Troelstra","year":"1988","unstructured":"Troelstra, A. S., and D. van Dalen: 1988, Constructivity in Mathematics, Vol. I and II. Amsterdam: North-Holland."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1013822008159.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1013822008159\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1013822008159.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:12:01Z","timestamp":1754629921000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1013822008159"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,11]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,11]]}},"alternative-id":["389687"],"URL":"https:\/\/doi.org\/10.1023\/a:1013822008159","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2001,11]]}}}