{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:58Z","timestamp":1761611338272},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642452208"},{"type":"electronic","value":"9783642452215"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45221-5_39","type":"book-chapter","created":{"date-parts":[[2013,12,5]],"date-time":"2013-12-05T09:28:23Z","timestamp":1386235703000},"page":"584-600","source":"Crossref","is-referenced-by-count":3,"title":["Herbrand Theorems for Substructural Logics"],"prefix":"10.1007","author":[{"given":"Petr","family":"Cintula","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Metcalfe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"39_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/3-540-45653-8_14","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M. Baaz","year":"2001","unstructured":"Baaz, M., Ciabattoni, A., Ferm\u00fcller, C.: Herbrand theorem for prenex G\u00f6del logic and its consequences for theorem proving. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol.\u00a02250, pp. 201\u2013216. Springer, Heidelberg (2001)"},{"issue":"3","key":"39_CR2","doi-asserted-by":"publisher","first-page":"969","DOI":"10.2178\/jsl\/1230396760","volume":"73","author":"M. Baaz","year":"2008","unstructured":"Baaz, M., Iemhoff, R.: On Skolemization in constructive theories. Journal of Symbolic Logic\u00a073(3), 969\u2013998 (2008)","journal-title":"Journal of Symbolic Logic"},{"key":"39_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-540-69407-6_3","volume-title":"Logic and Theory of Algorithms","author":"M. Baaz","year":"2008","unstructured":"Baaz, M., Metcalfe, G.: Herbrand Theorems and Skolemization for Prenex Fuzzy Logics. In: Beckmann, A., Dimitracopoulos, C., L\u00f6we, B. (eds.) CiE 2008. LNCS, vol.\u00a05028, pp. 22\u201331. Springer, Heidelberg (2008)"},{"issue":"1","key":"39_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1093\/logcom\/exn059","volume":"20","author":"M. Baaz","year":"2010","unstructured":"Baaz, M., Metcalfe, G.: Herbrand\u2019s theorem, Skolemization, and proof systems for first-order \u0141ukasiewicz logic. Journal of Logic and Computation\u00a020(1), 35\u201354 (2010)","journal-title":"Journal of Logic and Computation"},{"key":"39_CR5","unstructured":"Buss, S. (ed.): Handbook of Proof Theory. Kluwer (1998)"},{"issue":"3","key":"39_CR6","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1016\/j.apal.2011.09.003","volume":"163","author":"A. Ciabattoni","year":"2012","unstructured":"Ciabattoni, A., Galatos, N., Terui, K.: Algebraic proof theory for substructural logics: Cut-elimination and completions. Annals of Pure and Applied Logic\u00a0163(3), 266\u2013290 (2012)","journal-title":"Annals of Pure and Applied Logic"},{"volume-title":"Handbook of Mathematical Fuzzy Logic (in 2 volumes)","year":"2011","key":"39_CR7","unstructured":"Cintula, P., H\u00e1jek, P., Noguera, C. (eds.): Handbook of Mathematical Fuzzy Logic (in 2 volumes). College Publications, London (2011)"},{"key":"39_CR8","unstructured":"Cintula, P., Noguera, C.: A general framework for mathematical fuzzy logic. In: Cintula, P., H\u00e1jek, P., Noguera, C. (eds.) Handbook of Mathematical Fuzzy Logic, vol.\u00a01, pp. 103\u2013207. College Publications (2011)"},{"key":"39_CR9","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","author":"N. Galatos","year":"2007","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logic and the Foundations of Mathematics, vol.\u00a0151. Elsevier, Amsterdam (2007)"},{"issue":"6","key":"39_CR10","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1016\/j.ijar.2010.01.001","volume":"51","author":"\u00c0. Garc\u00eda-Cerda\u00f1a","year":"2010","unstructured":"Garc\u00eda-Cerda\u00f1a, \u00c0., Armengol, E., Esteva, F.: Fuzzy description logics and t-norm based fuzzy logics. International Journal of Approximate Reasoning\u00a051(6), 632\u2013655 (2010)","journal-title":"International Journal of Approximate Reasoning"},{"key":"39_CR11","series-title":"Trends in Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Trends in Logic, vol.\u00a04. Kluwer, Dordrecht (1998)"},{"issue":"1","key":"39_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.fss.2005.03.005","volume":"154","author":"P. H\u00e1jek","year":"2005","unstructured":"H\u00e1jek, P.: Making fuzzy description logic more general. Fuzzy Sets and Systems\u00a0154(1), 1\u201315 (2005)","journal-title":"Fuzzy Sets and Systems"},{"issue":"1","key":"39_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2268660","volume":"16","author":"R. McNaughton","year":"1951","unstructured":"McNaughton, R.: A theorem about infinite-valued sentential logic. Journal of Symbolic Logic\u00a016(1), 1\u201313 (1951)","journal-title":"Journal of Symbolic Logic"},{"issue":"5","key":"39_CR14","doi-asserted-by":"publisher","first-page":"909","DOI":"10.1145\/502102.502103","volume":"48","author":"C. Meghini","year":"2001","unstructured":"Meghini, C., Sebastiani, F., Straccia, U.: A model of multimedia information retrieval. Journal of the ACM\u00a048(5), 909\u2013970 (2001)","journal-title":"Journal of the ACM"},{"key":"39_CR15","doi-asserted-by":"crossref","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.M.: Proof Theory for Fuzzy Logics. Applied Logic Series, vol.\u00a036. Springer (2008)","DOI":"10.1007\/978-1-4020-9409-5"},{"key":"39_CR16","first-page":"73","volume":"121","author":"G.E. Minc","year":"1974","unstructured":"Minc, G.E.: The Skolem method in intuitionistic calculi. Proceedings of the Steklov Institute of Mathematics\u00a0121, 73\u2013109 (1974)","journal-title":"Proceedings of the Steklov Institute of Mathematics"},{"key":"39_CR17","series-title":"Essays Dedicated to the Memory of Helena Rasiowa","first-page":"637","volume-title":"Logic at Work","author":"H. Ono","year":"1999","unstructured":"Ono, H.: Algebraic semantics for predicate logics and their completeness. In: Orlowska, E. (ed.) Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, pp. 637\u2013650. Physica Verlag, Heidelberg (1999)"},{"issue":"1-2","key":"39_CR18","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/s11225-012-9381-3","volume":"100","author":"H. Ono","year":"2012","unstructured":"Ono, H.: Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics. Studia Logica\u00a0100(1-2), 339\u2013359 (2012)","journal-title":"Studia Logica"},{"key":"39_CR19","volume-title":"An Introduction to Substructural Logics","author":"G. Restall","year":"2000","unstructured":"Restall, G.: An Introduction to Substructural Logics. Routledge, New York (2000)"},{"key":"39_CR20","unstructured":"Terui, K.: Herbrand\u2019s theorem via hypercanonical extensions (manuscript)"},{"issue":"3","key":"39_CR21","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/S0165-0114(01)00106-3","volume":"124","author":"P. Vojt\u00e1\u0161","year":"2001","unstructured":"Vojt\u00e1\u0161, P.: Fuzzy logic programming. Fuzzy Sets and Systems\u00a0124(3), 361\u2013370 (2001)","journal-title":"Fuzzy Sets and Systems"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45221-5_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T04:38:08Z","timestamp":1558759088000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45221-5_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642452208","9783642452215"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45221-5_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}