{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:47:50Z","timestamp":1725490070997},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540003151"},{"type":"electronic","value":"9783540362807"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36280-0_16","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T03:16:50Z","timestamp":1187234210000},"page":"228-240","source":"Crossref","is-referenced-by-count":1,"title":["A Subintuitionistic Logic and Some of Its Methods"],"prefix":"10.1007","author":[{"given":"Ernst","family":"Zimmermann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"16_CR1","first-page":"226","volume":"29","author":"J. Benthem van","year":"1986","unstructured":"van Benthem, J.: Partiality and Nonmonotonicity in Classical Logic, in: Logique et Analyse, 29 (1986) p. 226\u2013246","journal-title":"Logique et Analyse"},{"key":"16_CR2","unstructured":"Fitting, M. C.: Intuitionistic Logic, Model Theory and Forcing, North-Holland, Amsterdam (1969)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Fitting, M. C.: Proof Methods for Modal and Intuitionistic Logic, Kluwer, Dordrecht (1983)","DOI":"10.1007\/978-94-017-2794-5"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Gabbay, D.: Semantical Investigations in Heyting's Intuitionistic Logic, Reidel, Dordrecht (1981)","DOI":"10.1007\/978-94-017-2977-2"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Kripke, S. A.: Semantical Analysis of Intuitionistic Logic (1965), in: Crossley, J. N., Dummett, M. A. E. (Eds.): Formal Systems and Recursive Functions, North-Holland, Amsterdam (1965), p. 93\u2013130","DOI":"10.1016\/S0049-237X(08)71685-9"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1305\/ndjfl\/1040609299","volume":"35","author":"G. Restall","year":"1994","unstructured":"Restall, G.: Subintuitionistic Logics, in: Notre Dame Journal of Formal Logic, 35 (1994) p. 116\u2013129","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2270047","volume":"33","author":"R. H. Thomason","year":"1968","unstructured":"Thomason, R. H.: Strong Completeness of Intuitionistic Predicate Logic, in: Journal of Symbol Logic, 33 (1968) p. 1\u20137","journal-title":"Journal of Symbol Logic"}],"container-title":["Lecture Notes in Computer Science","Relational Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36280-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T17:02:36Z","timestamp":1550768556000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36280-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540003151","9783540362807"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-36280-0_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}