{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,23]],"date-time":"2025-05-23T04:05:11Z","timestamp":1747973111677,"version":"3.41.0"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"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":["Minds and Machines"],"published-print":{"date-parts":[[2001,5]]},"DOI":"10.1023\/a:1011215918556","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T09:18:21Z","timestamp":1040635101000},"page":"257-265","source":"Crossref","is-referenced-by-count":1,"title":["From Predication to Programming"],"prefix":"10.1007","volume":"11","author":[{"given":"Karel","family":"Lambert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"281194_CR1","doi-asserted-by":"crossref","unstructured":"Antonelli, A. (2000), \u2018Protosemantics for positive free logic\u2019 Journal of Philosophy 29 (August Issue).","DOI":"10.1023\/A:1004748615483"},{"key":"281194_CR2","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":"281194_CR3","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/BF01135375","volume":"43","author":"W. Farmer","year":"1991","unstructured":"Farmer, W. (1991), \u2018Reasoning about partial functions with the aid of a computer\u2019, Erkenntnis 43, pp. 279\u2013294.","journal-title":"Erkenntnis"},{"key":"281194_CR4","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF01135376","volume":"43","author":"S. Feferman","year":"1991","unstructured":"Feferman. S. (1991), \u2018Definedness\u2019, Erkenntnis 43, pp. 295\u2013320.","journal-title":"Erkenntnis"},{"key":"281194_CR5","first-page":"25","volume":"7","author":"R. Gumb","year":"1997","unstructured":"Gumb, R. and Lambert, K. (1997), \u2018Definitions in nonstrict positive free logic\u2019, Modern Logic 7, pp. 25\u201355. For a fully corrected version see http:\/\/www.cs.uml.edu\/~gumb.","journal-title":"Modern Logic"},{"key":"281194_CR6","first-page":"227","volume-title":"What is Russell's theory of definite descriptions","author":"D. Kaplan","year":"1967","unstructured":"Kaplan, D. (1967), \u2018What is Russell's theory of definite descriptions\u2019 in W. Yourgrau and A. Breck, eds., New York: Plenum Press, pp. 227\u2013295."},{"key":"281194_CR7","volume-title":"Derivation and Counterexample","author":"K. Lambert","year":"1972","unstructured":"Lambert, K. and van Fraassen, B. (1972), Derivation and Counterexample, Encino, CA: Dickenson."},{"key":"281194_CR8","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF00247226","volume":"3","author":"K. Lambert","year":"1974","unstructured":"Lambert, K. (1974), \u2018Predication and extensionality\u2019, Journal of Philosophical Logic 3, pp. 255\u2013264.","journal-title":"Journal of Philosophical Logic"},{"key":"281194_CR9","first-page":"273","volume-title":"Philosophical Applications of Free Logic","author":"K. Lambert","year":"1991","unstructured":"Lambert, K. (1991) in K. Lambert, ed., Philosophical Applications of Free Logic, New York and London: Oxford, pp. 273\u2013274."},{"key":"281194_CR10","doi-asserted-by":"crossref","first-page":"8","DOI":"10.2307\/2270048","volume":"33","author":"R. Meyer","year":"1968","unstructured":"Meyer, R. and Lambert, K. (1968). \u2018Universally free logic and standard quantification theory\u2019, Journal of Symbolic Logic 33, pp. 8\u201326.","journal-title":"Journal of Symbolic Logic"},{"key":"281194_CR11","unstructured":"Scales, R. (1969), Attribution and Existence, University of Michigan Microfilms."},{"key":"281194_CR12","volume-title":"Word and Object","author":"W.V. Quine","year":"1960","unstructured":"Quine, W.V. (1960), Word and Object, New York: Wiley & Sons."}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011215918556.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1011215918556\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011215918556.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T05:41:28Z","timestamp":1747892488000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1011215918556"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,5]]}},"alternative-id":["281194"],"URL":"https:\/\/doi.org\/10.1023\/a:1011215918556","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"type":"print","value":"0924-6495"},{"type":"electronic","value":"1572-8641"}],"subject":[],"published":{"date-parts":[[2001,5]]}}}