{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:26:12Z","timestamp":1725891972401},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357213"},{"type":"electronic","value":"9783642357220"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35722-0_15","type":"book-chapter","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T11:16:29Z","timestamp":1357298189000},"page":"206-218","source":"Crossref","is-referenced-by-count":2,"title":["A Note on Extensions: Admissible Rules via Semantics"],"prefix":"10.1007","author":[{"given":"Jeroen","family":"Goudsmit","sequence":"first","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Aczel, P.H.: Saturated Intuitionistic Theories. In: Arnold Schmidt, H., Schutte, K., Thiele, H.J. (eds.) Contributions to Mathematical Logic Proceedings of the Logic Colloquium, Hannover 1966. Studies in Logic and the Foundations of Mathematics, vol.\u00a050, pp. 1\u201311. Elsevier (1968)","key":"15_CR1","DOI":"10.1016\/S0049-237X(08)70515-9"},{"issue":"2","key":"15_CR2","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/BF00370182","volume":"50","author":"A. Chagrov","year":"1991","unstructured":"Chagrov, A., Zakharyashchev, M.: The Disjunction Property of Intermediate Propositional Logics. Studia Logica\u00a050(2), 189\u2013216 (1991)","journal-title":"Studia Logica"},{"issue":"2","key":"15_CR3","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.apal.2010.09.001","volume":"162","author":"P. Cintula","year":"2010","unstructured":"Cintula, P., Metcalfe, G.: Admissible rules in the implication-negation fragment of intuitionistic logic. Annals of Pure and Applied Logic\u00a0162(2), 162\u2013171 (2010)","journal-title":"Annals of Pure and Applied Logic"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00153-011-0250-y","volume":"51","author":"A. Citkin","year":"2012","unstructured":"Citkin, A.: A note on admissible rules and the disjunction property in intermediate logics. Archive for Mathematical Logic\u00a051, 1\u201314 (2012)","journal-title":"Archive for Mathematical Logic"},{"issue":"1","key":"15_CR5","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF00370633","volume":"48","author":"K. Do\u0161en","year":"1989","unstructured":"Do\u0161en, K.: Sequent-systems and groupoid models. II. Studia Logica\u00a048(1), 41\u201365 (1989)","journal-title":"Studia Logica"},{"issue":"1","key":"15_CR6","first-page":"37","volume":"40","author":"W. Dzik","year":"2011","unstructured":"Dzik, W.: Remarks on projective unifiers. Bulletin of the Section of Logic\u00a040(1), 37\u201345 (2011)","journal-title":"Bulletin of the Section of Logic"},{"issue":"2","key":"15_CR7","doi-asserted-by":"publisher","first-page":"113","DOI":"10.2307\/2271891","volume":"40","author":"H. Friedman","year":"1975","unstructured":"Friedman, H.: One Hundred and Two Problems in Mathematical Logic. The Journal of Symbolic Logic\u00a040(2), 113\u2013129 (1975)","journal-title":"The Journal of Symbolic Logic"},{"issue":"1","key":"15_CR8","doi-asserted-by":"publisher","first-page":"67","DOI":"10.2307\/2272344","volume":"39","author":"D.M. Gabbay","year":"1974","unstructured":"Gabbay, D.M., de Jongh, D.H.: A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property. The Journal of Symbolic Logic\u00a039(1), 67\u201378 (1974)","journal-title":"The Journal of Symbolic Logic"},{"issue":"6","key":"15_CR9","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1093\/logcom\/7.6.733","volume":"7","author":"S. Ghilardi","year":"1997","unstructured":"Ghilardi, S.: Unification through Projectivity. Journal of Logic and Computation\u00a07(6), 733\u2013752 (1997)","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"15_CR10","doi-asserted-by":"publisher","first-page":"859","DOI":"10.2307\/2586506","volume":"64","author":"S. Ghilardi","year":"1999","unstructured":"Ghilardi, S.: Unification in Intuitionistic Logic. The Journal of Symbolic Logic\u00a064(2), 859\u2013880 (1999)","journal-title":"The Journal of Symbolic Logic"},{"key":"15_CR11","first-page":"1","volume":"297","author":"J.P. Goudsmit","year":"2012","unstructured":"Goudsmit, J.P., Iemhoff, R.: On unification and admissible rules in Gabbay-de Jongh logics. Logic Group Preprint Series\u00a0297, 1\u201318 (2012)","journal-title":"Logic Group Preprint Series"},{"issue":"1-3","key":"15_CR12","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/S0168-0072(01)00056-2","volume":"113","author":"R. Iemhoff","year":"2001","unstructured":"Iemhoff, R.: A(nother) characterization of intuitionistic propositional logic. Annals of Pure and Applied Logic\u00a0113(1-3), 161\u2013173 (2001); First St. Petersburg Conference on Days of Logic and Computability","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"15_CR13","doi-asserted-by":"publisher","first-page":"281","DOI":"10.2307\/2694922","volume":"66","author":"R. Iemhoff","year":"2001","unstructured":"Iemhoff, R.: On the Admissible Rules of Intuitionistic Propositional Logic. The Journal of Symbolic Logic\u00a066(1), 281\u2013294 (2001)","journal-title":"The Journal of Symbolic Logic"},{"issue":"1","key":"15_CR14","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1305\/ndjfl\/1107220674","volume":"46","author":"R. Iemhoff","year":"2005","unstructured":"Iemhoff, R.: Intermediate Logics and Visser\u2019s Rules. Notre Dame Journal of Formal Logic\u00a046(1), 65\u201381 (2005)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-540-92687-0_16","volume-title":"Logical Foundations of Computer Science","author":"R. Iemhoff","year":"2009","unstructured":"Iemhoff, R., Metcalfe, G.: Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. In: Artemov, S., Nerode, A. (eds.) LFCS 2009. LNCS, vol.\u00a05407, pp. 230\u2013245. Springer, Heidelberg (2009)"},{"issue":"1-2","key":"15_CR16","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.apal.2008.10.011","volume":"159","author":"R. Iemhoff","year":"2009","unstructured":"Iemhoff, R., Metcalfe, G.: Proof theory for admissible rules. Annals of Pure and Applied Logic\u00a0159(1-2), 171\u2013186 (2009)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"4","key":"15_CR17","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1093\/logcom\/exi029","volume":"15","author":"E. Je\u0159\u00e1bek","year":"2005","unstructured":"Je\u0159\u00e1bek, E.: Admissible Rules of Modal Logics. Journal of Logic and Computation\u00a015(4), 411\u2013431 (2005)","journal-title":"Journal of Logic and Computation"},{"key":"15_CR18","first-page":"119","volume":"4","author":"I. Johansson","year":"1937","unstructured":"Johansson, I.: Der Minimalkalk\u00fcl, ein reduzierter intuitionistischer Formalismus. Compositio Mathematica\u00a04, 119\u2013136 (1937)","journal-title":"Compositio Mathematica"},{"unstructured":"Johnstone, P.T.: Stone Spaces. Cambridge studies in advanced mathematics, vol.\u00a03. Cambridge University Press (1982)","key":"15_CR19"},{"doi-asserted-by":"crossref","unstructured":"Lorenzen, P.: Einf\u00fchrung in die operative Logik und Mathematik. In: Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen, vol.\u00a078. Springer (1955)","key":"15_CR20","DOI":"10.1007\/978-3-662-01539-1"},{"issue":"1","key":"15_CR21","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. Studia Logica: An International Journal for Symbolic Logic\u00a045(1), 69\u201375 (1986)","journal-title":"Studia Logica: An International Journal for Symbolic Logic"},{"key":"15_CR22","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/BF01084082","volume":"6","author":"G.E. Mints","year":"1976","unstructured":"Mints, G.E.: Derivability of admissible rules. Journal of Mathematical Sciences\u00a06, 417\u2013421 (1976)","journal-title":"Journal of Mathematical Sciences"},{"doi-asserted-by":"crossref","unstructured":"Odintsov, S., Rybakov, V.V.: Unification and Admissible rules for paraconsistent minimal Johanssons\u2019 logic J and positive intuitionistic logic IPC+. Submitted to Annals of Pure and Applied Logic (February 2012)","key":"15_CR23","DOI":"10.1016\/j.apal.2013.01.001"},{"unstructured":"Rozi\u00e8re, P.: R\u00e8gles admissibles en calcul propositionnel intuitionniste. Ph.D. thesis, Universit\u00e9 de Paris VII (1992)","key":"15_CR24"},{"key":"15_CR25","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/BF01982031","volume":"23","author":"V.V. Rybakov","year":"1984","unstructured":"Rybakov, V.V.: A criterion for admissibility of rules in the model system S4 and the intuitionistic logic. Algebra and Logic\u00a023, 369\u2013384 (1984)","journal-title":"Algebra and Logic"},{"unstructured":"Rybakov, V.V.: Admissibility of Logical Inference Rules. Studies in Logic and the Foundations of Mathematics, vol.\u00a0136. Elsevier (1997)","key":"15_CR26"},{"key":"15_CR27","first-page":"75","volume":"23","author":"T. Skura","year":"1989","unstructured":"Skura, T.: A complete syntactical characterization of the intuitionistic logic. Reports on Mathematical Logic\u00a023, 75\u201380 (1989)","journal-title":"Reports on Mathematical Logic"},{"key":"15_CR28","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/BFb0066744","volume-title":"Metamathematical Investigation of Intuitionistic Arithmetic and Analysis","author":"C. Smory\u0144ski","year":"1973","unstructured":"Smory\u0144ski, C.: Applications of Kripke models. In: Troelstra, A.S. (ed.) Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. Lecture Notes in Mathematics, vol.\u00a0344, pp. 324\u2013391. Springer, Heidelberg (1973)"},{"unstructured":"Troelstra, A.S., van Dalen, D.: Logic. In: Constructivism in Mathematics - An Introduction. Studies in Logic and the Foundations of Mathematics, vol.\u00a0121, pp. 35\u2013111. Elsevier (1988)","key":"15_CR29"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35722-0_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:24:22Z","timestamp":1620134662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35722-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642357213","9783642357220"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35722-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}