{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:54:48Z","timestamp":1759146888112},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642326202"},{"type":"electronic","value":"9783642326219"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32621-9_4","type":"book-chapter","created":{"date-parts":[[2012,8,18]],"date-time":"2012-08-18T06:40:40Z","timestamp":1345272040000},"page":"56-69","source":"Crossref","is-referenced-by-count":4,"title":["Admissible Rules: From Characterizations to Applications"],"prefix":"10.1007","author":[{"given":"George","family":"Metcalfe","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"4_CR1","doi-asserted-by":"publisher","first-page":"939","DOI":"10.2307\/2273828","volume":"52","author":"A. Avron","year":"1987","unstructured":"Avron, A.: A constructive analysis of RM. Journal of Symbolic Logic\u00a052(4), 939\u2013951 (1987)","journal-title":"Journal of Symbolic Logic"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-44622-2_12","volume-title":"Computer Science Logic","author":"M. Baaz","year":"2000","unstructured":"Baaz, M., Zach, R.: Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol.\u00a01862, pp. 187\u2013201. Springer, Heidelberg (2000)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Babenyshev, S., Rybakov, V., Schmidt, R.A., Tishkovsky, D.: A tableau method for checking rule admissibility in S4. In: Proceedings of UNIF 2009. ENTCS, vol.\u00a0262, pp. 17\u201332 (2010)","DOI":"10.1016\/j.entcs.2010.04.003"},{"key":"4_CR4","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra","author":"S. Burris","year":"1981","unstructured":"Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Graduate Texts in Mathematics, vol.\u00a078. Springer, New York (1981)"},{"key":"4_CR5","unstructured":"Cabrer, L.M., Metcalfe, G.: Admissibility via unifiability (preprint)"},{"key":"4_CR6","unstructured":"Chang, C., Keisler, H.: Model Theory. Studies in Logic and the Foundations of Mathematics, vol.\u00a073. Elsevier (1977)"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1016\/j.tcs.2008.05.019","volume":"403","author":"A. Ciabattoni","year":"2008","unstructured":"Ciabattoni, A., Metcalfe, G.: Density elimination. Theoretical Computer Science\u00a0403, 328\u2013346 (2008)","journal-title":"Theoretical Computer Science"},{"issue":"10","key":"4_CR8","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(10), 162\u2013171 (2010)","journal-title":"Annals of Pure and Applied Logic"},{"key":"4_CR9","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier (2007)"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"210","author":"G. Gentzen","year":"1935","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das Logische Schliessen. Math. Zeitschrift\u00a0210, 176\u2013210, 405\u2013431 (1935)","journal-title":"Math. Zeitschrift"},{"issue":"2","key":"4_CR11","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. Journal of Symbolic Logic\u00a064(2), 859\u2013880 (1999)","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"4_CR12","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1016\/S0168-0072(99)00032-9","volume":"102","author":"S. Ghilardi","year":"2000","unstructured":"Ghilardi, S.: Best solving modal equations. Annals of Pure and Applied Logic\u00a0102(3), 184\u2013198 (2000)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"4_CR13","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1093\/jigpal\/10.3.229","volume":"10","author":"S. Ghilardi","year":"2002","unstructured":"Ghilardi, S.: A resolution\/tableaux algorithm for projective approximations in IPC. Logic Journal of the IGPL\u00a010(3), 227\u2013241 (2002)","journal-title":"Logic Journal of the IGPL"},{"issue":"1","key":"4_CR14","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. Journal of Symbolic Logic\u00a066(1), 281\u2013294 (2001)","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"4_CR15","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"},{"issue":"1-2","key":"4_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"},{"key":"4_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, 411\u2013431 (2005)","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"4_CR18","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1093\/logcom\/exp078","volume":"20","author":"E. Je\u0159\u00e1bek","year":"2010","unstructured":"Je\u0159\u00e1bek, E.: Admissible rules of \u0141ukasiewicz logic. Journal of Logic and Computation\u00a020(2), 425\u2013447 (2010)","journal-title":"Journal of Logic and Computation"},{"issue":"6","key":"4_CR19","doi-asserted-by":"publisher","first-page":"1149","DOI":"10.1093\/logcom\/exp082","volume":"20","author":"E. Je\u0159\u00e1bek","year":"2010","unstructured":"Je\u0159\u00e1bek, E.: Bases of admissible rules of \u0141ukasiewicz logic. Journal of Logic and Computation\u00a020(6), 1149\u20131163 (2010)","journal-title":"Journal of Logic and Computation"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Lorenzen, P.: Einf\u00fchrung in die operative Logik und Mathematik. Grundlehren der mathematischen Wissenschaften, vol.\u00a078. Springer (1955)","DOI":"10.1007\/978-3-662-01539-1"},{"key":"4_CR21","unstructured":"Metcalfe, G.: Proof theory of mathematical fuzzy logic. In: Handbook of Mathematical Fuzzy Logic, ch. 3, vol. I, pp. 209\u2013282. King\u2019s College Publications (2011)"},{"issue":"3","key":"4_CR22","doi-asserted-by":"publisher","first-page":"834","DOI":"10.2178\/jsl\/1191333844","volume":"72","author":"G. Metcalfe","year":"2007","unstructured":"Metcalfe, G., Montagna, F.: Substructural fuzzy logics. Journal of Symbolic Logic\u00a072(3), 834\u2013864 (2007)","journal-title":"Journal of Symbolic Logic"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.: Proof Theory for Fuzzy Logics. Springer (2008)","DOI":"10.1007\/978-1-4020-9409-5"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/978-3-642-30870-3_49","volume-title":"How the World Computes","author":"G. Metcalfe","year":"2012","unstructured":"Metcalfe, G., R\u00f6thlisberger, C.: Unifiability and Admissibility in Finite Algebras. In: Cooper, S.B., Dawar, A., L\u00f6we, B. (eds.) CiE 2012. LNCS, vol.\u00a07318, pp. 485\u2013495. Springer, Heidelberg (2012)"},{"issue":"3","key":"4_CR25","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1017\/S0960129500000165","volume":"2","author":"P. Rozi\u00e8re","year":"1993","unstructured":"Rozi\u00e8re, P.: Admissible and derivable rules in intuitionistic logic. Mathematical Structures in Computer Science\u00a02(3), 129\u2013136 (1993)","journal-title":"Mathematical Structures in Computer Science"},{"key":"4_CR26","series-title":"Studies in Logic and the Foundations of Mathematics","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(97)80001-8","volume-title":"Admissibility of Logical Inference Rules","author":"V. Rybakov","year":"1997","unstructured":"Rybakov, V.: Admissibility of Logical Inference Rules. Studies in Logic and the Foundations of Mathematics, vol.\u00a0136. Elsevier, Amsterdam (1997)"},{"issue":"3","key":"4_CR27","doi-asserted-by":"publisher","first-page":"851","DOI":"10.2307\/2274139","volume":"49","author":"G. Takeuti","year":"1984","unstructured":"Takeuti, G., Titani, T.: Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. Journal of Symbolic Logic\u00a049(3), 851\u2013866 (1984)","journal-title":"Journal of Symbolic Logic"},{"key":"4_CR28","doi-asserted-by":"publisher","first-page":"325","DOI":"10.2307\/1969001","volume":"42","author":"P. Whitman","year":"1941","unstructured":"Whitman, P.: Free lattices. Annals of Mathematics\u00a042, 325\u2013329 (1941)","journal-title":"Annals of Mathematics"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32621-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T19:34:31Z","timestamp":1562096071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32621-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642326202","9783642326219"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32621-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}