{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T18:47:24Z","timestamp":1761936444453,"version":"build-2065373602"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1992,11,1]],"date-time":"1992-11-01T00:00:00Z","timestamp":720576000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch Math Logic"],"published-print":{"date-parts":[[1992,11]]},"DOI":"10.1007\/bf01277484","type":"journal-article","created":{"date-parts":[[2005,3,24]],"date-time":"2005-03-24T09:21:14Z","timestamp":1111656074000},"page":"415-432","source":"Crossref","is-referenced-by-count":9,"title":["An infinite class of maximal intermediate propositional logics with the disjunction property"],"prefix":"10.1007","volume":"31","author":[{"given":"Pierangelo","family":"Miglioli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1002\/malq.19720180802","volume":"18","author":"J.G. Anderson","year":"1972","unstructured":"Anderson, J.G.: Superconstructive propositional calculi with extra schemes containing one variable. Z. Math. Logik Grundlagen Math.18, 113?130 (1972)","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"CR2","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/3-540-13346-1_9","volume-title":"Semantics of data types","author":"A. Bertoni","year":"1984","unstructured":"Bertoni, A., Mauri, G., Miglioli, P., Ornaghi, M.: Abstract data types and their extensions within a constructive logic. In: Semantics of data types (Lect. Notes Comput. Sci., vol. 173, pp. 177?195) Berlin Heidelberg New York: Springer 1984"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"431","DOI":"10.2307\/2270700","volume":"35","author":"D.M. Gabbay","year":"1970","unstructured":"Gabbay, D.M.: The decidability of the Kreisel-Putnam system. J. Symb. Logic35, 431?437 (1970)","journal-title":"J. Symb. Logic"},{"key":"CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2977-2","volume-title":"Semantical investigation in Heytings's intuitionistic logic","author":"D.M. Gabbay","year":"1981","unstructured":"Gabbay, D.M.: Semantical investigation in Heytings's intuitionistic logic. Reidel: Dordrecht 1981"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"67","DOI":"10.2307\/2272344","volume":"39","author":"D.M. Gabbay","year":"1974","unstructured":"Gabbay, D.M., De Jongh, D.H.J.: A sequence of decidable finitely axiomatizable intermediate logics with the disiunction property. J. Symb. Logic39, 67?78 (1974)","journal-title":"J. Symb. Logic"},{"key":"CR6","first-page":"806","volume":"9","author":"V.A. Jankov","year":"1968","unstructured":"Jankov, V.A.: Constructing a sequence of strongly independent superintuitionistic propositional calculi. Sov. Math., Dokl.9, 806?807 (1968)","journal-title":"Sov. Math., Dokl."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1305\/ndjfl\/1093883567","volume":"23","author":"R.E. Kirk","year":"1982","unstructured":"Kirk, R.E.: A result on propositional logics having the disjunction property. Notre Dame J. Formal Logic23, 71?74 (1982)","journal-title":"Notre Dame J. Formal Logic"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/BF01988049","volume":"3","author":"G. Kreisel","year":"1957","unstructured":"Kreisel, G., Putnam, H.: Eine Unableitbarkeitsbeweismethode f\ufffdr den intuitionistischen Aussagenkalk\ufffdl. Arch. Math. Logik Grundlagenforsch.3, 74?78 (1957)","journal-title":"Arch. Math. Logik Grundlagenforsch."},{"key":"CR9","first-page":"288","volume":"10","author":"L.A. Levin","year":"1969","unstructured":"Levin, L.A.: Some syntactic theorems on the calculus of finite problems of Ju. T. Medvedev. Sov. Math., Dokl.10, 288?290 (1969)","journal-title":"Sov. Math., Dokl."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF01881550","volume":"45","author":"L.L. Maksimova","year":"1986","unstructured":"Maksimova, L.L.: On maximal intermediate logics with the disjunction property. Stud. Logica45, 69?75 (1986)","journal-title":"Stud. Logica"},{"key":"CR11","first-page":"180","volume":"4","author":"L.L. Maksimova","year":"1979","unstructured":"Maksimova, L.L., Skvorkov, D.P., Sethman, V.B.: The impossibility of a finite axiomatization of Medvedev's logic of finitary problems. Sov. Math. Dokl.4, 180?183 (1979)","journal-title":"Sov. Math. Dokl."},{"key":"CR12","first-page":"227","volume":"3","author":"T.Ju. Medvedev","year":"1962","unstructured":"Medvedev, T.Ju.: Finite problems. Sov. Math., Dokl.,3, 227?230 (1962)","journal-title":"Sov. Math., Dokl."},{"key":"CR13","unstructured":"Meloni, G.C.: Modelli per le logiche intermedie KP e KP n . Atti degli incontri di Logica Mat. Siena. Scuola di Specializzazione in Logica Matematica ? Dipartimento di Matematica ?Universit\ufffd di Siena, 1984"},{"key":"CR14","first-page":"293","volume-title":"Proc. Symp. Math. Logic Appl. Druzhba","author":"P. Miglioli","year":"1987","unstructured":"Miglioli, P., Moscato, U., Ornaghi, M.: Constructive theories with abstract data types for program synthesis. In: Skordev, D.G. (ed.) Proc. Symp. Math. Logic Appl. Druzhba, Bulgaria: Plenum Press, pp. 293?302, 1987"},{"key":"CR15","first-page":"337","volume-title":"Tapsoft '89, Barcelona 1989. (Lect. Notes Comput. Sci., vol. 351","author":"P. Miglioli","year":"1989","unstructured":"Miglioli, P., Moscato, U., Ornaghi, M.: Semi-constructive formal systems and axiomatization of abstract data types. In: Tapsoft '89, Barcelona 1989. (Lect. Notes Comput. Sci., vol. 351, pp. 337?351) Berlin Heidelberg New York: Springer 1989"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1305\/ndjfl\/1093635238","volume":"30","author":"P. Miglioli","year":"1989","unstructured":"Miglioli, P., Moscato, U., Ornaghi, M., Quazza, S., Usberti, G.: Some results on intermediate constructive logics. Notre Dame J. Formal Logic30, 543?562 (1989)","journal-title":"Notre Dame J. Formal Logic"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/BF01881549","volume":"45","author":"P. Minari","year":"1986","unstructured":"Minari, P.: On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes. Stud. Logica45, 55?68 (1986)","journal-title":"Stud. Logica"},{"key":"CR18","first-page":"360","volume":"20","author":"D.P. Skvorkov","year":"1979","unstructured":"Skvorkov, D.P.: Logic of infinite problems and Kripke models on atomic semilattices of sets. Sov. Math., Dokl.20, 360?363 (1979)","journal-title":"Sov. Math., Dokl."},{"key":"CR19","series-title":"Lect. Notes Math.","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/BFb0066744","volume-title":"Metamathematical Investigation of Intuitionistic Arithmetic and Analysis","author":"C.A. Smorinski","year":"1973","unstructured":"Smorinski, C.A.: Applications of Kripke models. In: Troelstra, A.S. (ed.) Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. (Lect. Notes Math., vol. 344, pp. 324?391) Berlin Heidelberg New York: Springer 1973"},{"key":"CR20","first-page":"35","volume":"1","author":"A. Wronski","year":"1973","unstructured":"Wronski, A.: Intermediate logics with the disjunction property. Rep. Math. Logic1, 35?51 (1973)","journal-title":"Rep. Math. Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01277484.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01277484\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01277484","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T18:10:37Z","timestamp":1556647837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01277484"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,11]]},"references-count":20,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1992,11]]}},"alternative-id":["BF01277484"],"URL":"https:\/\/doi.org\/10.1007\/bf01277484","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[1992,11]]}}}