{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T17:27:45Z","timestamp":1747157265774},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2006,2,8]],"date-time":"2006-02-08T00:00:00Z","timestamp":1139356800000},"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":[[2006,7]]},"DOI":"10.1007\/s00153-006-0320-8","type":"journal-article","created":{"date-parts":[[2006,2,7]],"date-time":"2006-02-07T16:27:43Z","timestamp":1139329663000},"page":"581-599","source":"Crossref","is-referenced-by-count":16,"title":["On the rules of intermediate logics"],"prefix":"10.1007","volume":"45","author":[{"given":"Rosalie","family":"Iemhoff","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,2,8]]},"reference":[{"key":"320_CR1","doi-asserted-by":"crossref","unstructured":"Baaz, M., Ciabattoni, A., Ferm\u00fcller, C.F.: Hypersequent Calculi for G\u00f6del Logics-a Survey. J. Logic Comput. To appear","DOI":"10.1093\/logcom\/13.6.835"},{"key":"320_CR2","doi-asserted-by":"crossref","unstructured":"Blackburn, P., Rijke, de M., Venema, Y.: Modal Logic. Cambridge University Press, 2001","DOI":"10.1017\/CBO9781107050884"},{"key":"320_CR3","doi-asserted-by":"crossref","unstructured":"Chagrov, A., Zakharyaschev, M., Modal Logic. Oxford University Press, 1998","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"320_CR4","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1017\/S0022481200125848","volume":"24","author":"Dummett","year":"1959","unstructured":"Dummett, M.: A propositional logic with denumerable matrix. J. Symbolic Logic 24, 96\u2013107 (1959)","journal-title":"J. Symbolic Logic"},{"key":"320_CR5","unstructured":"Fiorentini, C.: Kripke Completeness for Intermediate Logics. PhD-thesis, University of Milan, 2000"},{"key":"320_CR6","doi-asserted-by":"crossref","first-page":"67","DOI":"10.2307\/2272344","volume":"39","author":"Gabbay","year":"1974","unstructured":"Gabbay, D., de Jongh, D.: A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property. J. Symbolic Logic 39, 67\u201378 (1974)","journal-title":"J. Symbolic Logic"},{"key":"320_CR7","doi-asserted-by":"crossref","first-page":"859","DOI":"10.2307\/2586506","volume":"64","author":"Ghilardi","year":"1999","unstructured":"Ghilardi, S.: Unification in intuitionistic logic. J. Symbolic Logic 64, 859\u2013880 (1999)","journal-title":"J. Symbolic Logic"},{"key":"320_CR8","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1093\/jigpal\/10.3.229","volume":"10","author":"Ghilardi","year":"2002","unstructured":"Ghilardi, S.: A resolution\/tableaux algorithm for projective approximations in IPC. Logic J. IGPL. 10, 229\u2013243 (2002)","journal-title":"Logic J. IGPL."},{"key":"320_CR9","first-page":"9","volume":"4","author":"G\u00f6del","year":"1933","unstructured":"G\u00f6del, K.: \u00dcber unabh\u00e4ngigkeitsbeweise im Aussagenkalk\u00fcl. Ergebnisse eines mathematischen Kolloquiums 4, 9\u201310 (1933)","journal-title":"Ergebnisse eines mathematischen Kolloquiums"},{"key":"320_CR10","doi-asserted-by":"crossref","first-page":"27","DOI":"10.2307\/2964334","volume":"25","author":"Harrop","year":"1960","unstructured":"Harrop, R.: Concerning formulas of the types in intuitionistic formal systems. J. Symbolic Logic 25, 27\u201332 (1960)","journal-title":"J. Symbolic Logic"},{"key":"320_CR11","unstructured":"Iemhoff, R.: Provability logic and admissible rules. PhD thesis, University of Amsterdam, 2001"},{"key":"320_CR12","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/S0168-0072(01)00056-2","volume":"113","author":"Iemhoff","year":"2001","unstructured":"Iemhoff, R.: A(nother) characterization of Intuitionistic Propositional Logic. Ann. Pure Appl. Logic 113, 161\u2013173 (2001)","journal-title":"Ann. Pure Appl. Logic"},{"key":"320_CR13","doi-asserted-by":"crossref","unstructured":"Iemhoff, R.: Towards a proof system for admissibility. Computer Science Logic '03. LNCS vol. 2803, Springer, 2003, pp. 255\u2013270","DOI":"10.1007\/978-3-540-45220-1_22"},{"key":"320_CR14","doi-asserted-by":"crossref","unstructured":"Iemhoff, R.: Intermediate logics and Visser's rules. Notre Dame J. Formal Logic 46 (1), (2005)","DOI":"10.1305\/ndjfl\/1107220674"},{"key":"320_CR15","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/BF01988049","volume":"3","author":"Kreisel","year":"1957","unstructured":"Kreisel, G., Putnam, H.: Unableitbarkeitsbeweismethode f\u00fcr den intuitionistischen Aussagenkalk\u00fcl. Archiv f\u00fcr mathematische Logic und Grundlagenforschung 3, 74\u201378 (1957)","journal-title":"Archiv f\u00fcr mathematische Logic und Grundlagenforschung"},{"key":"320_CR16","first-page":"227","volume":"3","author":"Medvedev","year":"1962","unstructured":"Medvedev, Ju.T.: Finite problems. Soc. Math. Dokl. 3, 227\u2013230 (1962)","journal-title":"Soc. Math. Dokl."},{"key":"320_CR17","first-page":"21","volume":"22","author":"Minari","year":"1988","unstructured":"Minari, P., Wronski, A.: The property (HD) in intermediate logics. Rep. Math. Logic 22, 21\u201325 (1988)","journal-title":"Rep. Math. Logic"},{"key":"320_CR18","doi-asserted-by":"crossref","first-page":"327","DOI":"10.2307\/2963526","volume":"25","author":"Nishinura","year":"4","unstructured":"Nishinura, I.: On formulas of one propositional variable in intuitionistic propositional calculus. J. Symbolic Logic 25 (4), 327\u2013331 (1960)","journal-title":"J. Symbolic Logic"},{"key":"320_CR19","unstructured":"van Oosten, J.: Realizability and independence of premise. Technical report, University Utrecht, 2004"},{"key":"320_CR20","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BF00405383","volume":"38","author":"Prucnal","year":"1979","unstructured":"Prucnal, H.: On two problems of Harvey Friedman. Studia Logica 38, 257\u2013262 (1979)","journal-title":"Studia Logica"},{"key":"320_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1953-0055952-4","volume":"75","author":"Rose","year":"1953","unstructured":"Rose, G.F.: Propositional calculus and realizability. Trans. Am. Math. Soc. 75, 1\u201319 (1953)","journal-title":"Trans. Am. Math. Soc."},{"key":"320_CR22","unstructured":"Roziere, P.: Regles Admissibles en calcul propositionnel intuitionniste. PhD-thesis (in french), Universit\u00e9 Paris VII, 1992"},{"key":"320_CR23","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/BF01982031","volume":"23","author":"Rybakov","year":"5","unstructured":"Rybakov, V.V.: A Criterion for Admissibility of Rules in the Modal System S4 and the Intuitionistic Logic. Algebra and logic 23 (5), 369\u2013384 (1984)","journal-title":"Algebra and logic"},{"key":"320_CR24","unstructured":"Rybakov, V.V.: Admissibility of Logical Inference Rules. Elsevier, 1997"},{"key":"320_CR25","doi-asserted-by":"crossref","unstructured":"Smory\u0144ski, C.: Applications of Kripke Models. Mathematical Investigations of Intuitionistic Arithmetic and Analysis, Springer, 1973","DOI":"10.1007\/BFb0066744"},{"key":"320_CR26","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics, vol. I, North-Holland, 1988"},{"key":"320_CR27","doi-asserted-by":"crossref","unstructured":"Visser, A.: Substitutions of \u03a3-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic. Ann. Pure Appl. Logic 114 (1\u20133), 227\u2013271 (2002)","DOI":"10.1016\/S0168-0072(01)00081-1"},{"key":"320_CR28","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1305\/ndjfl\/1039096308","volume":"40","author":"Visser","year":"1","unstructured":"Visser, A.: Rules and Arithmetics. Notre Dame J. Formal Logic 40 (1), 116\u2013140 (1999)","journal-title":"Notre Dame J. Formal Logic"},{"key":"320_CR29","first-page":"63","volume":"2","author":"Wronski","year":"1974","unstructured":"Wronski, A.: Remarks on intermediate logics with axiomatizations containing only one variable. Reports on Mathematical Logic 2, 63\u201375 (1974)","journal-title":"Reports on Mathematical Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-006-0320-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-006-0320-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-006-0320-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,2]],"date-time":"2024-02-02T19:59:43Z","timestamp":1706903983000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-006-0320-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,2,8]]},"references-count":29,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2006,7]]}},"alternative-id":["320"],"URL":"https:\/\/doi.org\/10.1007\/s00153-006-0320-8","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,2,8]]}}}