{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:25:07Z","timestamp":1743049507476,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662469057"},{"type":"electronic","value":"9783662469064"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46906-4_11","type":"book-chapter","created":{"date-parts":[[2015,4,30]],"date-time":"2015-04-30T09:59:50Z","timestamp":1430387990000},"page":"175-189","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Positive Formulas in Intuitionistic and Minimal Logic"],"prefix":"10.1007","author":[{"given":"Dick","family":"de Jongh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiguang","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,5,1]]},"reference":[{"key":"11_CR1","first-page":"322","volume":"10","author":"LEJ Brouwer","year":"1948","unstructured":"Brouwer, L.E.J.: Essentieel negatieve eigenschappen. Indag. Math. 10, 322\u2013323 (1948)","journal-title":"Indag. Math."},{"key":"11_CR2","series-title":"Oxford Logic Guides","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"AV Chagrov","year":"1997","unstructured":"Chagrov, A.V., Zakharyaschev, M.: Modal Logic. Oxford Logic Guides. Clarendon Press, Oxford (1997)"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-22303-7_5","volume-title":"Logic, Language, and Computation","author":"D de Jongh","year":"2011","unstructured":"de Jongh, D., Yang, F.: Jankov\u2019s theorems for intermediate logics in the setting of universal models. In: Bezhanishvili, N., L\u00f6bner, S., Schwabe, K., Spada, L. (eds.) TbiLLC 2009. LNCS, vol. 6618, pp. 53\u201376. Springer, Heidelberg (2011)"},{"key":"11_CR4","volume-title":"Sur les Alg\u00e8bres de Hilbert","author":"A Diego","year":"1966","unstructured":"Diego, A.: Sur les Alg\u00e8bres de Hilbert, vol. 21. E. Nauwelaerts, Gauthier-Villars, Louvain (1966)"},{"key":"11_CR5","volume-title":"A Mathematical Introduction to Logic","author":"HB Enderton","year":"2001","unstructured":"Enderton, H.B.: A Mathematical Introduction to Logic. Harcourt\/Academic Press, Burlington (2001)"},{"issue":"1","key":"11_CR6","doi-asserted-by":"publisher","first-page":"67","DOI":"10.2307\/2272344","volume":"39","author":"DM Gabbay","year":"1974","unstructured":"Gabbay, D.M., de Jongh, D.H.J.: A sequence of decidable finitely axiomatizable: intermediate logics with the disjunction property. J. Symbolic Logic 39(1), 67\u201378 (1974)","journal-title":"J. Symbolic Logic"},{"key":"11_CR7","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Quantification in Nonclassical Logic I","author":"DM Gabbay","year":"2009","unstructured":"Gabbay, D.M., Shehtman, V., Skvortsov, D.: Quantification in Nonclassical Logic I. Studies in Logic and the Foundations of Mathematics. Clarendon Press, Oxford (2009)"},{"issue":"2","key":"11_CR8","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/BF01061237","volume":"55","author":"S Ghilardi","year":"1995","unstructured":"Ghilardi, S., Zawadowski, M.W.: Undefinability of propositional quantifiers in the modal system S4. Stud. Logica. 55(2), 259\u2013271 (1995)","journal-title":"Stud. Logica."},{"key":"11_CR9","first-page":"675","volume":"8","author":"GFC Griss","year":"1946","unstructured":"Griss, G.F.C.: Negationless intuitionistic mathematics I. Indag. Math. 8, 675\u2013681 (1946)","journal-title":"Indag. Math."},{"key":"11_CR10","unstructured":"Heyting, A.: Die formalen Regeln der intuitionistischen Logik, pp. 42\u201356 (1930)"},{"issue":"5","key":"11_CR11","first-page":"1044","volume":"32","author":"VA Jankov","year":"1968","unstructured":"Jankov, V.A.: Calculus of the weak law of the excluded middle (in russian). Izv. Akad. Nauk SSSR Ser. Mat. 32(5), 1044\u20131051 (1968)","journal-title":"Izv. Akad. Nauk SSSR Ser. Mat."},{"key":"11_CR12","first-page":"119","volume":"4","author":"I Johansson","year":"1937","unstructured":"Johansson, I.: Der Minimalkalk\u00fcl Ein Reduzierter Intuitionistischer Formalismus. Compos. Math. 4, 119\u2013136 (1937)","journal-title":"Compos. Math."},{"issue":"1","key":"11_CR13","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/BF01186549","volume":"35","author":"A Kolmogorov","year":"1932","unstructured":"Kolmogorov, A.: Zur Deutung der intuitionistischen Logik. Math. Z. 35(1), 58\u201365 (1932)","journal-title":"Math. Z."},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"33","DOI":"10.2307\/2275175","volume":"57","author":"AM Pitts","year":"1992","unstructured":"Pitts, A.M.: On an interpretation of second order quantification in first order intuitionistic propositional logic. J. Symb. Logic 57, 33\u201352 (1992)","journal-title":"J. Symb. Logic"},{"issue":"3","key":"11_CR15","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1093\/logcom\/exq058","volume":"22","author":"GR Renardel de Lavalette","year":"2012","unstructured":"Renardel de Lavalette, G.R., Hendriks, A., de Jongh, D.: Intuitionistic implication without disjunction. J. Log. Comput. 22(3), 375\u2013404 (2012)","journal-title":"J. Log. Comput."},{"key":"11_CR16","unstructured":"Troelstra, A., van Dalen, D.: Constructivism in Mathematics, vols. 2. North-Holland, Amsterdam (1988)"},{"key":"11_CR17","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139168717","volume-title":"Basic Proof Theory","author":"AS Troelstra","year":"2000","unstructured":"Troelstra, A.S., Schwichtenberg, H.: Basic Proof Theory. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (2000)"},{"key":"11_CR18","unstructured":"Tzimoulis, A., Zhao, Z.: The Universal Model for the Negation-free Fragment of IPC. Technical Notes (X) Series X-2013-01, ILLC, University of Amsterdam (2013)"},{"key":"11_CR19","series-title":"Universitext","volume-title":"Logic and Structure","author":"D van Dalen","year":"2012","unstructured":"van Dalen, D.: Logic and Structure. Universitext. Springer, London (2012)"},{"key":"11_CR20","series-title":"Lecture Notes Logic","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/978-3-662-21963-8_9","volume-title":"Proceedings of G\u00f6del 1996: Logical Foundations of Mathematics, Computer Science and Physics - Kurt G\u00f6del\u2019s Legacy, Brno, Czech Republic","author":"A Visser","year":"1996","unstructured":"Visser, A.: Uniform interpolation and layered bisimulation. In: H\u00e1jek, P. (ed.) Proceedings of G\u00f6del 1996: Logical Foundations of Mathematics, Computer Science and Physics - Kurt G\u00f6del\u2019s Legacy, Brno, Czech Republic. Lecture Notes Logic, vol. 6, pp. 139\u2013164. Springer Verlag, Berlin (1996)"},{"key":"11_CR21","unstructured":"Zhao, Z.: An Investigation of Jankov\u2019s Logic (2012) (Unpublished paper)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46906-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,8]],"date-time":"2024-06-08T18:21:37Z","timestamp":1717870897000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-46906-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662469057","9783662469064"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46906-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"1 May 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}