{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:24:42Z","timestamp":1759638282007},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662488980"},{"type":"electronic","value":"9783662488997"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48899-7_1","type":"book-chapter","created":{"date-parts":[[2015,11,20]],"date-time":"2015-11-20T22:59:28Z","timestamp":1448060368000},"page":"1-15","source":"Crossref","is-referenced-by-count":2,"title":["Skolemization for Substructural Logics"],"prefix":"10.1007","author":[{"given":"Petr","family":"Cintula","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Denisa","family":"Diaconescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Metcalfe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,22]]},"reference":[{"key":"1_CR1","unstructured":"Baaz, M., Lemhoff, R.: Skolemization in intermediate logics with the finite model property. Submitted"},{"issue":"3","key":"1_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. J. Symbolic Logic 73(3), 969\u2013998 (2008)","journal-title":"J. Symbolic Logic"},{"volume-title":"Handbook of Proof Theory","year":"1998","key":"1_CR3","unstructured":"Buss, S. (ed.): Handbook of Proof Theory. Kluwer, Dordrecht (1998)"},{"issue":"3","key":"1_CR4","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. Ann. Pure. Appl. Logic 163(3), 266\u2013290 (2012)","journal-title":"Ann. Pure. Appl. Logic"},{"key":"1_CR5","unstructured":"Cintula, P., H\u00e1jek, P., Noguera, C. (eds).: Handbook of Mathematical Fuzzy Logic (in 2 volumes), volume 37, 38 of Studies in Logic, Mathematical Logic and Foundations. College Publications, London (2011)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1007\/978-3-642-45221-5_39","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"P Cintula","year":"2013","unstructured":"Cintula, P., Metcalfe, G.: Herbrand theorems for substructural logics. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds.) LPAR-19 2013. LNCS, vol. 8312, pp. 584\u2013600. Springer, Heidelberg (2013)"},{"key":"1_CR7","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. 1, vol. 37 of Studies in Logic, Mathematical Logic and Foundations, pp. 103\u2013207. College Publications, London (2011)"},{"issue":"8","key":"1_CR8","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1145\/359138.359142","volume":"22","author":"N Dershowitz","year":"1979","unstructured":"Dershowitz, N., Manna, Z.: Proving termination with multiset orderings. Commun. ACM 22(8), 465\u2013476 (1979)","journal-title":"Commun. ACM"},{"key":"1_CR9","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. 151. Elsevier, Amsterdam (2007)"},{"issue":"6","key":"1_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. Int. J. Approximate Reasoning 51(6), 632\u2013655 (2010)","journal-title":"Int. J. Approximate Reasoning"},{"key":"1_CR11","series-title":"Trends in Logic","doi-asserted-by":"publisher","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. Kluwer, Dordrecht (1998)"},{"issue":"1","key":"1_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 Syst. 154(1), 1\u201315 (2005)","journal-title":"Fuzzy Sets Syst."},{"issue":"5","key":"1_CR13","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. J. ACM 48(5), 909\u2013970 (2001)","journal-title":"J. ACM"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.M.: Proof Theory for Fuzzy Logics. vol. 36 of Applied Logic Series. Springer, Heidelberg (2008)","DOI":"10.1007\/978-1-4020-9409-5"},{"key":"1_CR15","first-page":"73","volume":"121","author":"GE Minc","year":"1974","unstructured":"Minc, G.E.: The Skolem method in intuitionistic calculi. Proc. Steklov Inst. Math. 121, 73\u2013109 (1974)","journal-title":"Proc. Steklov Inst. Math."},{"issue":"1\u20132","key":"1_CR16","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. Stud. Logica 100(1\u20132), 339\u2013359 (2012)","journal-title":"Stud. Logica"},{"key":"1_CR17","doi-asserted-by":"publisher","DOI":"10.4324\/9780203252642","volume-title":"An Introduction to Substructural Logics","author":"G Restall","year":"2000","unstructured":"Restall, G.: An Introduction to Substructural Logics. Routledge, New York (2000)"},{"issue":"3","key":"1_CR18","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 Syst. 124(3), 361\u2013370 (2001)","journal-title":"Fuzzy Sets Syst."}],"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-662-48899-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T15:27:15Z","timestamp":1567351635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48899-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662488980","9783662488997"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48899-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}