{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T18:41:59Z","timestamp":1761936119842,"version":"build-2065373602"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1996,10,1]],"date-time":"1996-10-01T00:00:00Z","timestamp":844128000000},"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":[[1996,10]]},"DOI":"10.1007\/bf00370841","type":"journal-article","created":{"date-parts":[[2004,11,3]],"date-time":"2004-11-03T00:44:53Z","timestamp":1099442693000},"page":"373-408","source":"Crossref","is-referenced-by-count":4,"title":["On maximal intermediate predicate constructive logics"],"prefix":"10.1007","volume":"57","author":[{"given":"Alessandro","family":"Avellone","sequence":"first","affiliation":[]},{"given":"Camillo","family":"Fiorentini","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Mantovani","sequence":"additional","affiliation":[]},{"given":"Pierangelo","family":"Miglioli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","first-page":"117","volume":"51","author":"A. V. Chagrov","year":"1992","unstructured":"Chagrov, A. V., 1992, ?The cardinality of the set of maximal intermediate logics with the disjunction property is of continuum?, Matematicheskie Zametki 51, 117?123, Russian.","journal-title":"Matematicheskie Zametki"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BF00370182","volume":"50","author":"A. V. Chagrov","year":"1991","unstructured":"Chagrov, A. V., and M. V. Zacharyashev, 1991, ?The disjunction property of intermediate prepositional logics?, Studia Logica 50, 189?216.","journal-title":"Studia Logica"},{"key":"CR3","volume-title":"Introduction to Mathematical Logic I","author":"A. Church","year":"1956","unstructured":"Church, A., 1956, Introduction to Mathematical Logic I, Princeton University Press, Princeton."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(94)00053-6","volume":"76","author":"M. Ferrari","year":"1995","unstructured":"Ferrari, M., and P. Miglioli, 1995, ?A method to single out maximal intermediate propositional logics with the disjunction property I?, Annals of Pure and Applied Logic 76, 1?46.","journal-title":"Annals of Pure and Applied Logic"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0168-0072(94)00052-5","volume":"76","author":"M. Ferrari","year":"1995","unstructured":"Ferrari, M., and P. Miglioli, 1995, ?A method to single out maximal intermediate prepositional logics with the disjunction property II?, Annals of Pure and Applied Logic 76, 117?168.","journal-title":"Annals of Pure and Applied Logic"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"1365","DOI":"10.2307\/2275149","volume":"58","author":"M. Ferrari","year":"1993","unstructured":"Ferrari, M., and P. Miglioli, 1993, ?Counting the maximal intermediate constructive logics?, The Journal of Symbolic Logic 58, 1365?1401.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"113","DOI":"10.2307\/2271891","volume":"40","author":"H. Friedman","year":"1975","unstructured":"Friedman, H., 1975, ?On hundred and two problems in mathematical logic?, The Journal of Symbolic Logic 40, 113?129.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR8","first-page":"27","volume":"58","author":"S. G\u00f6rnemann","year":"1971","unstructured":"G\u00f6rnemann, S., 1971, ?A logic stronger than intuitionism?, The Journal of Symbolic Logic 58, 27?32.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR9","first-page":"223","volume":"26","author":"A. Grzegorczyk","year":"1964","unstructured":"Grzegorczyk, A., 1964, ?A philosophically plausible interpretation of intuitionistic logic?, Indagationes Matematicae 26, 223?231.","journal-title":"Indagationes Matematicae"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"431","DOI":"10.2307\/2270700","volume":"35","author":"D. M. Gabbay","year":"1970","unstructured":"Gabbay, D. M., 1970, ?The decidability of Kreisel-Putnam system?, The Journal of Symbolic Logic 35, 431?437.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR11","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":"Gabbay, D. M., 1981, Semantical Investigations in Heyting's Intuitionistic Logic, Reidel, Dordrecht."},{"key":"CR12","unstructured":"Galanter, G. I., 1990, ?A continuum of intermediate logics which are maximal among the logics having the intuitionistic disjunctionless fragment?, Proceedings of 10th USSR Conference for Mathematical Logic, Alma Ata, Russian, 41."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"27","DOI":"10.2307\/2964334","volume":"25","author":"R. Harrop","year":"1960","unstructured":"Harrop, R., 1960, ?Concerning formulas of the types A ? B ? C, A ? ?B(x) in intuitionistic formal systems?, The Journal of Symbolic Logic 25, 27?32.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1305\/ndjfl\/1093883567","volume":"23","author":"R. E. Kirk","year":"1982","unstructured":"Kirk, R. E., 1982, ?A result on prepositional logics having the disjunction property?, Notre Dame Journal of Formal Logic 23, 71?74.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR15","volume-title":"Introduction to Metamathematics","author":"S. C. Kleene","year":"1952","unstructured":"Kleene, S. C., 1952, Introduction to Metamathematics, Van Nostrand, New York."},{"key":"CR16","first-page":"646","volume":"32","author":"A. Kolmogorov","year":"1925","unstructured":"Kolmogorov, A., 1925, ?O principe tertium non datur?, Mat. Sb. 32, 646?667.","journal-title":"Mat. Sb."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/BF01988049","volume":"3","author":"G. Kreisel","year":"1957","unstructured":"Kreisel, G., and H. Putnam, 1957, ?Eine Unableitbarkeitsbeweismethode f\u00fcr Intuitionistischen Aussagenkalk\u00fcl?, Archiv f\u00fcr Mathematische Logik und Grundlagenforschung 3, 74?78.","journal-title":"Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"},{"key":"CR18","volume-title":"The number of aximal intermediate logics with the disjunction property","author":"L. L. Maksimova","year":"1984","unstructured":"Maksimova, L. L., 1984, ?The number of aximal intermediate logics with the disjunction property?, Proceedings of 7th All-Union Conference for Mathematical Logic, Novosibirsk, Russian."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF01881550","volume":"45","author":"L.L. Maksimova","year":"1986","unstructured":"Maksimova, L.L., 1986, ?On maximal intermediate logics with the disjunction property?, Studia Logica 45, 69?75.","journal-title":"Studia Logica"},{"key":"CR20","first-page":"394","volume":"20","author":"L. L. Maksimova","year":"1979","unstructured":"Maksimova, L. L., D. P. Skvorkov and V. B. Sehtman, 1979, ?The impossibility of a finite axiomatization of Medvedev's logic of finitary problems?, Soviet Mathematics Doklady 20, 394?398.","journal-title":"Soviet Mathematics Doklady"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/BF00373276","volume":"45","author":"P. Minari","year":"1986","unstructured":"Minari, P., 1986, ?Intermediate logics with the same disjunctionless fragment as intuitionistic logic?, Studia Logica 45, 207?222.","journal-title":"Studia Logica"},{"key":"CR22","first-page":"227","volume":"3","author":"T. Medvedev","year":"1962","unstructured":"Medvedev, T., 1962, ?Finite problems?, Soviet Mathematics Doklady 3, 227?230.","journal-title":"Soviet Mathematics Doklady"},{"key":"CR23","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/BF01277484","volume":"31","author":"P. Miglioli","year":"1992","unstructured":"Miglioli, P., 1992, ?An infinite class of maximal intermediate propositional logics with the disjunction property?, Archive for Mathematical Logic 31, 415?432.","journal-title":"Archive for Mathematical Logic"},{"key":"CR24","unstructured":"Miglioli, P., U. Moscato and M. Ornaghi, 1994, ?How to avoid duplications in a refutation system for intuitionistic logic and Kuroda logic?, Proceedings of 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, editor L. K. Broda and M. D'Agostino and R. Gor\u00e9 and R. Johnson and S. Reeves, Abington, U.K., May 4?6, 169?187."},{"key":"CR25","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1305\/ndjfl\/1093634996","volume":"30","author":"P. Miglioli","year":"1989","unstructured":"Miglioli, P., U. Moscato, M. Ornaghi and G. Usberti, 1989, ?A constructivism based on classical truth?, Notre Dame Journal of Formal Logic 30, 67?90.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR26","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1305\/ndjfl\/1093635238","volume":"30","author":"P. Miglioli","year":"1989","unstructured":"Miglioli, P., U. Moscato, M. Ornaghi, S. Quazza and G. Usberti, 1989, ?Some results on intermediate constructive logics?, Notre Dame Journal of Formal Logic 30, 543?562.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR27","doi-asserted-by":"crossref","first-page":"619","DOI":"10.2977\/prims\/1195192964","volume":"8","author":"H. Ono","year":"1972","unstructured":"Ono, H., 1972, ?A study of intermediate predicate logics?, Publications of the Research Institute for Mathematical Sciences 8, 619?649.","journal-title":"Publications of the Research Institute for Mathematical Sciences"},{"key":"CR28","first-page":"55","volume":"21","author":"H. Ono","year":"1987","unstructured":"Ono, H., 1987, ?Some problems on intermediate predicate logics?, Reports on Mathematical Logic 21, 55?67.","journal-title":"Reports on Mathematical Logic"},{"key":"CR29","unstructured":"Prawitz, D., 1965, Natural Deduction. A Proof-Theoretical Study, Almqvist-Wiksell."},{"key":"CR30","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF00405383","volume":"38","author":"T. Prucnal","year":"1979","unstructured":"Prucnal, T., 1979, ?On two problems of Harvey Friedman?, Studia Logica 38, 247?262.","journal-title":"Studia Logica"},{"key":"CR31","doi-asserted-by":"crossref","unstructured":"Smorinski, C. A., 1973, ?Applications of Kripke models?, Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, A. S. Troelstra, Lecture Notes in Mathematics 344, Springer-Verlag.","DOI":"10.1007\/BFb0066744"},{"key":"CR32","doi-asserted-by":"crossref","unstructured":"Troelstra, A.S., 1973, ?Metamathematical Investigation of Intuitionistic Arithmetic and Analysis?, Lecture Notes in Mathematics 344, Springer-Verlag.","DOI":"10.1007\/BFb0066739"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370841.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370841\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370841","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T18:30:20Z","timestamp":1585938620000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370841"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,10]]},"references-count":32,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1996,10]]}},"alternative-id":["BF00370841"],"URL":"https:\/\/doi.org\/10.1007\/bf00370841","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1996,10]]}}}