{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T13:53:30Z","timestamp":1648562010758},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1986,3,1]],"date-time":"1986-03-01T00:00:00Z","timestamp":510019200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1986,3]]},"DOI":"10.1007\/bf01881546","type":"journal-article","created":{"date-parts":[[2005,7,5]],"date-time":"2005-07-05T05:50:47Z","timestamp":1120542647000},"page":"19-33","source":"Crossref","is-referenced-by-count":2,"title":["Craig's interpolation theorem for the intuitionistic logic and its extensions\u2014A semantical approach"],"prefix":"10.1007","volume":"45","author":[{"given":"Hiroakira","family":"Ono","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF01881546_CR1","doi-asserted-by":"crossref","first-page":"613","DOI":"10.2307\/2271986","volume":"38","author":"M. C. Fitting","year":"1973","unstructured":"M. C. Fitting,Model existence theorems for modal and intuitionistic logics,Journal of Symbolic Logic 38 (1973), pp. 613\u2013627.","journal-title":"Journal of Symbolic Logic"},{"key":"BF01881546_CR2","doi-asserted-by":"crossref","unstructured":"D. M. Gabbay,Semantic proof of Craig's interpolation theorem for intuitionistic logic and extensions, Part I, Part II,Logic Colloquium '69, edited by R. O. Gandy and C. M. E. Yates, North-Holland, 1971, pp. 391\u2013410.","DOI":"10.1016\/S0049-237X(08)71239-4"},{"key":"BF01881546_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2977-2","volume-title":"Semantical Investigations in Heyting's Intuitionistic Logic","author":"D. M. Gabbay","year":"1981","unstructured":"D. M. Gabbay,Semantical Investigations in Heyting's Intuitionistic Logic, D. Reidel, Dordrecht, 1981."},{"key":"BF01881546_CR4","doi-asserted-by":"crossref","first-page":"201","DOI":"10.2307\/2271066","volume":"28","author":"L. Henkin","year":"1963","unstructured":"L. Henkin,An extension of the Craig-Lyndon interpolation theorem,Journal of Symbolic Logic 28 (1963), pp. 201\u2013216.","journal-title":"Journal of Symbolic Logic"},{"key":"BF01881546_CR5","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1007\/BF01670006","volume":"16","author":"L. L. Maksimova","year":"1977","unstructured":"L. L. Maksimova,Craig's theorem in superintuitionistic logics and amalgamated varieties of pseudo-Boolean algebras,Algebra i Logika 16 (1977), pp. 643\u2013681.","journal-title":"Algebra i Logika"},{"key":"BF01881546_CR6","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/BF00370479","volume":"38","author":"L. L. Maksimova","year":"1979","unstructured":"L. L. Maksimova,Interpolation properties of superintuitionistic logics,Studia Logica 38 (1979), pp. 419\u2013428.","journal-title":"Studia Logica"},{"key":"BF01881546_CR7","doi-asserted-by":"crossref","first-page":"619","DOI":"10.2977\/prims\/1195192964","volume":"8","author":"H. Ono","year":"1973","unstructured":"H. Ono,A study of intermediate predicate logics,Publications of the Research Institute for Mathematical Sciences, Kyoto University 8 (1973), pp. 619\u2013649.","journal-title":"Publications of the Research Institute for Mathematical Sciences, Kyoto University"},{"key":"BF01881546_CR8","first-page":"41","volume":"15","author":"H. Ono","year":"1983","unstructured":"H. Ono,Model extension theorem and Craig's interpolation theorem for intermediate predicate logics,Reports on Mathematical Logic 15 (1983), pp. 41\u201358.","journal-title":"Reports on Mathematical Logic"},{"key":"BF01881546_CR9","volume-title":"Acta Universitatis Stockholmiensis, Stockholm Studies in Philosophy 3","author":"D. Prawitz","year":"1965","unstructured":"D. Prawitz,Natural deduction, A proof-theoretical study,Acta Universitatis Stockholmiensis, Stockholm Studies in Philosophy 3, Almqvist & Wiksell, Stockholm, 1965."},{"key":"BF01881546_CR10","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/BF01470747","volume":"148","author":"K. Sch\u00fctte","year":"1962","unstructured":"K. Sch\u00fctte,Der Interpolationssatz der intuitionistischen Pr\u00e4dikatenlogik,Mathematische Annalen 148 (1962), pp. 192\u2013200.","journal-title":"Mathematische Annalen"},{"key":"BF01881546_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"R. M. Smullyan","year":"1968","unstructured":"R. M. Smullyan,First-Order Logic, Springer-Verlag, Berlin, 1968."},{"key":"BF01881546_CR12","volume-title":"Proof Theory","author":"G. Takeuti","year":"1975","unstructured":"G. Takeuti,Proof Theory, North-Holland, Amsterdam, 1975."},{"key":"BF01881546_CR13","first-page":"139","volume":"10","author":"S. Zachorowski","year":"1978","unstructured":"S. Zachorowski,Remark on interpolation property for intermediate logics,Reports on Mathematical Logic 10 (1978), pp. 139\u2013146.","journal-title":"Reports on Mathematical Logic"},{"key":"BF01881546_CR14","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1017\/S0027763000024041","volume":"28","author":"H. Ono","year":"1966","unstructured":"H. Ono,A lemma which distinguishes minimal logics from other logics,Nagoya Mathematical Journal 28 (1966), pp. 197\u2013201.","journal-title":"Nagoya Mathematical Journal"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01881546.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01881546\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01881546","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T04:14:03Z","timestamp":1586319243000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01881546"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,3]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1986,3]]}},"alternative-id":["BF01881546"],"URL":"https:\/\/doi.org\/10.1007\/bf01881546","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,3]]}}}