{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:51:34Z","timestamp":1725475894730},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676973"},{"type":"electronic","value":"9783540450085"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722086_22","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T00:43:15Z","timestamp":1167439395000},"page":"268-278","source":"Crossref","is-referenced-by-count":3,"title":["Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions"],"prefix":"10.1007","author":[{"given":"Raymond D.","family":"Gumb","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"22_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.: Foundations of Constructive Mathematics. Springer, Berlin (1985)"},{"key":"22_CR2","unstructured":"Bencievenga, E., Lambert, K., van Fraassen, B.: Logic, Bivalence, and Denotation, 2nd edn., Ridgeview, Atascadero, California (1991)"},{"key":"22_CR3","volume-title":"Computability and Logic","author":"G.S. Boolos","year":"1974","unstructured":"Boolos, G.S., Jeffrey, R.C.: Computability and Logic. Cambridge University Press, Cambridge (1974)"},{"key":"22_CR4","unstructured":"Burge, T.: Truth and singular terms. In: [18] (1991)"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF01135375","volume":"43","author":"W.M. Farmer","year":"1995","unstructured":"Farmer, W.M.: Reasoning about partial functions with the aid of a computer. Erkenntnis\u00a043, 279\u2013294 (1995)","journal-title":"Erkenntnis"},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF01135376","volume":"43","author":"S. Feferman","year":"1995","unstructured":"Feferman, S.: Definedness. Erkenntnis\u00a043, 295\u2013320 (1995)","journal-title":"Erkenntnis"},{"key":"22_CR7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569777","volume-title":"Formal Specification and Design","author":"L.M.G. Feijs","year":"1992","unstructured":"Feijs, L.M.G., Jonkers, H.B.M.: Formal Specification and Design. Cambridge University Press, Cambridge (1992)"},{"key":"22_CR8","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.: First-Order Logic and Automated Theorem Proving, 2nd edn. Springer,New York (1996)","edition":"2"},{"key":"22_CR9","series-title":"Lecture Notes in Mathematics","volume-title":"Applications of sheaves : Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham","year":"1979","unstructured":"Fourman, M.P., Mulvey, C.J., Scott, D.S. (eds.): Applications of sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham. Lecture Notes in Mathematics, vol.\u00a0753. Springer, Berlin (1979)"},{"key":"22_CR10","unstructured":"ESPRIT CoFI Working Group. Cofi: The Common Framework Initiative for algebraic specification and development (various documents), Available at \n                    \n                      http:\/\/www.briks.dk\/Projects\/CoFI"},{"key":"22_CR11","volume-title":"Evolving Theories","author":"R.D. Gumb","year":"1979","unstructured":"Gumb, R.D.: Evolving Theories. Haven, New York (1979)"},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1305\/ndjfl\/1093882539","volume":"20","author":"R.D. Gumb","year":"1979","unstructured":"Gumb, R.D.: An extended joint consistency theorem for free logic with equality. Notre Dame Journal of Formal Logic\u00a020, 321\u2013335 (1979); Abstract in Journal of Symbolic Logic\u00a042, 146 (1977)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"22_CR13","doi-asserted-by":"publisher","first-page":"174","DOI":"10.2307\/2274100","volume":"49","author":"R.D. Gumb","year":"1984","unstructured":"Gumb, R.D.: An extended joint consistency theorem for a family of free modal logics with equality. Journal of Symbolic Logic\u00a049, 174\u2013183 (1984); Abstract in Journal of Symbolic Logic \u00a046, 435\u2013436 (1981)","journal-title":"Journal of Symbolic Logic"},{"key":"22_CR14","volume-title":"Programming Logics: An Introduction to Verification and Semantics","author":"R.D. Gumb","year":"1989","unstructured":"Gumb, R.D.: Programming Logics: An Introduction to Verification and Semantics. Wiley, New York (1989)"},{"key":"22_CR15","volume-title":"New Directions in Free Logic","author":"R.D. Gumb","year":"1996","unstructured":"Gumb, R.D.: Free logic in program specification and verification. In: Morsher, E. (ed.) New Directions in Free Logic. Akademia Verlag, Bonn (1996)"},{"key":"22_CR16","unstructured":"Gumb, R.D., Lambert, K.: Definitions in nonstrict positive free logic. Modern Logic, 7:25{55 (1997), Corrected version, available at \n                    \n                      http:\/\/www.cs.uml.edu\/~gumb"},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis of computer programming. Communications of the ACM\u00a012, 576\u2013583 (1969)","journal-title":"Communications of the ACM"},{"volume-title":"Philosophical Applications of Free Logic","year":"1991","key":"22_CR18","unstructured":"Lambert, K. (ed.): Philosophical Applications of Free Logic. Oxford University Press, Oxford (1991)"},{"key":"22_CR19","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1080\/01445348708837108","volume":"8","author":"K. Lambert","year":"1987","unstructured":"Lambert, K.: On the philosophical foundations of free description theory. History and Philosophy of Logic\u00a08, 57\u201366 (1987)","journal-title":"History and Philosophy of Logic"},{"key":"22_CR20","unstructured":"Leblanc, H.: Truth-Value Semantic. North Holland, Amsterdam (1976)"},{"key":"22_CR21","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/BF01135377","volume":"43","author":"D.L. Parnas","year":"1995","unstructured":"Parnas, D.L.: A logic for describing, not verifying, software. Erkenntnis\u00a043, 321\u2013338 (1995)","journal-title":"Erkenntnis"},{"key":"22_CR22","first-page":"175","volume-title":"The Calculi of Symbolic Logic, I, Proceedings of the Steklov Institute for Mathematics 98","author":"R.A. Plju\u0161kevi\u010dus","year":"1971","unstructured":"Plju\u0161kevi\u010dus, R.A.: A sequential variant of constructive logic calculi for normal formulas not containing structural rules. In: The Calculi of Symbolic Logic, I, Proceedings of the Steklov Institute for Mathematics Vol. 98, pp. 175\u2013229. AMS Translations, Dordrecht (1971)"},{"key":"22_CR23","unstructured":"Plotkin, G.D.: Denotational semantics with partial functions. Lecture Notes, CSLI Summer School, Stanford University (July 1985)"},{"key":"22_CR24","unstructured":"Plotkin, G.D.: Types and partial functions. Lecture Notes, Computer Science Department, University of Edinburgh (1985)"},{"key":"22_CR25","unstructured":"Scales, R.: Attribution and Existence. PhD thesis, University of California, Irvine (1969)"},{"key":"22_CR26","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1305\/ndjfl\/1093957975","volume":"5","author":"R. Schock","year":"1964","unstructured":"Schock, R.: Contributions to syntax, semantics, and the philosophy of science. Notre Dame Journal of Formal Logic\u00a05, 241\u2013289 (1964)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"22_CR27","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/BF01987833","volume":"8","author":"R. Schock","year":"1965","unstructured":"Schock, R.: On definitions. Archiv f\u00fcr Mathematische Logik und Grundlagenforschung\u00a08, 28\u201344 (1965)","journal-title":"Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"},{"key":"22_CR28","volume-title":"Logics without Existence Assumptions","author":"R. Schock","year":"1968","unstructured":"Schock, R.: Logics without Existence Assumptions. Almqvist and Wiksell, Stockholm (1968)"},{"key":"22_CR29","unstructured":"Scott, D.S.: Existence and description in formal logic. In: Schoenmann, R. (ed.) Bertrand Russell, Philosopher of the Century, Allen and Unwin, London, pp. 181\u2013200 (1967); Reprinted in [18]"},{"key":"22_CR30","doi-asserted-by":"crossref","unstructured":"Scott, D.S.: Identity and existence in intuitionistic logic. In: [9], pp. 660\u2013696 (1979)","DOI":"10.1007\/BFb0061839"},{"key":"22_CR31","volume-title":"Natural Logic","author":"N. Tennant","year":"1990","unstructured":"Tennant, N.: Natural Logic. Edinburgh University Press, Edinburgh (1990) (corrected edition)"},{"key":"22_CR32","volume-title":"Constructivity in Mathematics","author":"A.S. Troelstra","year":"1988","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivity in Mathematics, vol.\u00a0I and II. North-Holland, Amsterdam (1988)"},{"key":"22_CR33","unstructured":"Unterhalt, M.: Kripke-Semantik f\u00fcr Logik mit partieller Existenz. PhD thesis, Westf\u00e4lische Wilhelms-Universit\u00e4t M\u00fcnster (1986)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722086_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,19]],"date-time":"2019-01-19T15:31:12Z","timestamp":1547911872000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722086_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676973","9783540450085"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/10722086_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}