{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T22:05:11Z","timestamp":1772057111487,"version":"3.50.1"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2013,5,1]],"date-time":"2013-05-01T00:00:00Z","timestamp":1367366400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s10992-013-9281-7","type":"journal-article","created":{"date-parts":[[2013,5,1]],"date-time":"2013-05-01T06:08:22Z","timestamp":1367388502000},"page":"549-577","source":"Crossref","is-referenced-by-count":102,"title":["Truth-Maker Semantics for Intuitionistic Logic"],"prefix":"10.1007","volume":"43","author":[{"given":"Kit","family":"Fine","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,5,1]]},"reference":[{"key":"9281_CR1","unstructured":"Ciaredelli, I. (2009). \u2018Inquisitive semantics and intermediate logics\u2019, M Sc. Thesis, University of Amsterdam."},{"key":"9281_CR2","doi-asserted-by":"crossref","DOI":"10.1093\/0199278709.001.0001","volume-title":"Modality and tense: philosophical papers","author":"K Fine","year":"2005","unstructured":"Fine, K. (2005). Modality and tense: philosophical papers. Oxford: Oxford University Press."},{"key":"9281_CR3","unstructured":"Fine, K. (2013). \u2018Constructing the impossible\u2019, to appear in a Festschrift for Dorothy Eddginton. In L. Walters (Ed.), Oxford: Oxford University Press."},{"key":"9281_CR4","first-page":"1044","volume":"32.5","author":"VA Jankov","year":"1968","unstructured":"Jankov, V. A. (1968). \u2018Ob ischislenii slabogo zakona iskluchennogo tret\u2019jego\u2019, Izvestija AN. SSSR ser matem, 32.5, 1044\u20131051.","journal-title":"SSSR ser matem"},{"key":"9281_CR5","first-page":"74","volume":"3","author":"G Kreisel","year":"1957","unstructured":"Kreisel, G., & Putnam, H. (1957). Eine unableitbarkeitsbeweismethode fur den intuitionistischen aussagenkalkul. Zeitschrift fur Mathematische Logik and Grundlagen der Mathematik, 3, 74\u201378.","journal-title":"Zeitschrift fur Mathematische Logik and Grundlagen der Mathematik"},{"key":"9281_CR6","doi-asserted-by":"crossref","unstructured":"Kripke, S. (1965). \u2018Semantical analysis of intuitionistic logic\u2019. In J. Crossley and M. A. E. Dummett (Eds.), [1965], 92\u2013130.","DOI":"10.1016\/S0049-237X(08)71685-9"},{"issue":"1","key":"9281_CR7","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/s11245-011-9108-5","volume":"31","author":"I Rumfitt","year":"2012","unstructured":"Rumfitt, I. (2012). On a neglected path to intuitionism. Topoi, 31(1), 201\u2013209.","journal-title":"Topoi"},{"key":"9281_CR8","volume-title":"\u2018Constructivism in mathematics\u2019 (volumes 1 & 2)","author":"A Troelstra","year":"1988","unstructured":"Troelstra, A., & van Dalen, D. (1988). \u2018Constructivism in mathematics\u2019 (volumes 1 & 2). Amsterdam: North Holland."},{"key":"9281_CR9","doi-asserted-by":"crossref","first-page":"477","DOI":"10.2307\/2024563","volume":"66","author":"B Fraassen Van","year":"1969","unstructured":"Van Fraassen, B. (1969). Facts and tautological entailments. Journal of Philosophy, 66, 477\u2013487.","journal-title":"Journal of Philosophy"},{"issue":"1","key":"9281_CR10","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2272955","volume":"41","author":"W Veldman","year":"1976","unstructured":"Veldman, W. (1976). An intuitionistic completeness theorem for intuitionistic predicate logic. Journal of Symbolic Logic, 41(1), 159\u2013166.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9281-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-013-9281-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9281-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,1]],"date-time":"2023-07-01T11:20:03Z","timestamp":1688210403000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-013-9281-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5,1]]},"references-count":10,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["9281"],"URL":"https:\/\/doi.org\/10.1007\/s10992-013-9281-7","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,5,1]]}}}