{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T10:29:30Z","timestamp":1742639370091},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2017,7,31]],"date-time":"2017-07-31T00:00:00Z","timestamp":1501459200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1007\/s00153-017-0577-0","type":"journal-article","created":{"date-parts":[[2017,7,31]],"date-time":"2017-07-31T10:52:59Z","timestamp":1501498379000},"page":"391-420","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Implicational (semilinear) logics III: completeness properties"],"prefix":"10.1007","volume":"57","author":[{"given":"Petr","family":"Cintula","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carles","family":"Noguera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,31]]},"reference":[{"key":"577_CR1","unstructured":"Bergman, C.: Structural completeness in algebra and logic. In: Andr\u00e9ka, H., Monk, J., N\u00e9meti, I. (eds.) Algebraic Logic (Proceedings of Conference, Budapest, 8\u201314 August 1988), Colloquia Mathematica Societatis J\u00e1nos Bolyai, vol.\u00a054, pp. 59\u201373. North-Holland, Amsterdam (1991)"},{"issue":"1","key":"577_CR2","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1016\/j.fss.2011.02.015","volume":"178","author":"M Botur","year":"2011","unstructured":"Botur, M.: A non-associative generalization of H\u00e1jek\u2019s BL-algebras. Fuzzy Sets Syst. 178(1), 24\u201337 (2011)","journal-title":"Fuzzy Sets Syst."},{"issue":"1\u20132","key":"577_CR3","doi-asserted-by":"crossref","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. Theor. Comput. Sci. 403(1\u20132), 328\u2013346 (2008)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"577_CR4","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.apal.2009.01.012","volume":"160","author":"P Cintula","year":"2009","unstructured":"Cintula, P., Esteva, F., Gispert, J., Godo, L., Montagna, F., Noguera, C.: Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Ann. Pure Appl. Logic 160(1), 53\u201381 (2009)","journal-title":"Ann. Pure Appl. Logic"},{"key":"577_CR5","unstructured":"Cintula, P., Ferm\u00fcller, C.G., H\u00e1jek, P., Noguera, C. (eds.): Handbook of Mathematical Fuzzy Logic (in Three Volumes), Studies in Logic, Mathematical Logic and Foundations, vols. 37, 38, and 58. College Publications (2011, 2015)"},{"issue":"3","key":"577_CR6","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1017\/S1755020313000099","volume":"6","author":"P Cintula","year":"2013","unstructured":"Cintula, P., Hor\u010d\u00edk, R., Noguera, C.: Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties. Rev. Symb. Logic 6(3), 394\u2013423 (2013)","journal-title":"Rev. Symb. Logic"},{"key":"577_CR7","first-page":"245","volume-title":"Petr H\u00e1jek on Mathematical Fuzzy Logic, Outstanding Contributions to Logic","author":"P Cintula","year":"2014","unstructured":"Cintula, P., Hor\u010d\u00edk, R., Noguera, C.: The quest for the basic fuzzy logic. In: Montagna, F. (ed.) Petr H\u00e1jek on Mathematical Fuzzy Logic, Outstanding Contributions to Logic, vol. 6, pp. 245\u2013290. Springer, New York (2014)"},{"issue":"4","key":"577_CR8","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/s00153-010-0178-7","volume":"49","author":"P Cintula","year":"2010","unstructured":"Cintula, P., Noguera, C.: Implicational (semilinear) logics I: a new hierarchy. Arch. Math. Logic 49(4), 417\u2013446 (2010)","journal-title":"Arch. Math. Logic"},{"key":"577_CR9","first-page":"103","volume-title":"Handbook of Mathematical Fuzzy Logic\u2014Volume 1, Studies in Logic, Mathematical Logic and Foundations","author":"P Cintula","year":"2011","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\u2014Volume 1, Studies in Logic, Mathematical Logic and Foundations, vol. 37, pp. 103\u2013207. College Publications, London (2011)"},{"issue":"4","key":"577_CR10","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1007\/s11225-013-9496-1","volume":"101","author":"P Cintula","year":"2013","unstructured":"Cintula, P., Noguera, C.: The proof by cases property and its variants in structural consequence relations. Studia Logica 101(4), 713\u2013747 (2013)","journal-title":"Studia Logica"},{"issue":"3","key":"577_CR11","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/s00153-015-0452-9","volume":"53","author":"P Cintula","year":"2016","unstructured":"Cintula, P., Noguera, C.: Implicational (semilinear) logics II: disjunction and completeness properties. Arch. Math. Logic 53(3), 353\u2013372 (2016)","journal-title":"Arch. Math. Logic"},{"key":"577_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2807-2","volume-title":"Protoalgebraic Logics, Trends in Logic","author":"J Czelakowski","year":"2001","unstructured":"Czelakowski, J.: Protoalgebraic Logics, Trends in Logic, vol. 10. Kluwer, Dordrecht (2001)"},{"key":"577_CR13","first-page":"469","volume-title":"Handbook of Mathematical Fuzzy Logic\u2014Volume 2, Studies in Logic, Mathematical Logic and Foundations","author":"A Nola Di","year":"2011","unstructured":"Di Nola, A., Leu\u015ftean, I.: \u0141ukasiewicz logic and MV-algebras. In: Cintula, P., H\u00e1jek, P., Noguera, C. (eds.) Handbook of Mathematical Fuzzy Logic\u2014Volume 2, Studies in Logic, Mathematical Logic and Foundations, vol. 38, pp. 469\u2013583. College Publications, London (2011)"},{"issue":"2","key":"577_CR14","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1023\/A:1016548805869","volume":"71","author":"F Esteva","year":"2002","unstructured":"Esteva, F., Gispert, J., Godo, L., Montagna, F.: On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic. Studia Logica 71(2), 199\u2013226 (2002)","journal-title":"Studia Logica"},{"issue":"6","key":"577_CR15","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1016\/j.fss.2006.11.010","volume":"158","author":"F Esteva","year":"2007","unstructured":"Esteva, F., Gispert, J., Godo, L., Noguera, C.: Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results. Fuzzy Sets Syst. 158(6), 597\u2013618 (2007)","journal-title":"Fuzzy Sets Syst."},{"key":"577_CR16","volume-title":"Abstract Algebraic Logic. An Introductory Textbook, Studies in Logic","author":"JM Font","year":"2016","unstructured":"Font, J.M.: Abstract Algebraic Logic. An Introductory Textbook, Studies in Logic, vol. 60. College Publications, London (2016)"},{"key":"577_CR17","unstructured":"Font, J.M., Jansana, R.: A General Algebraic Semantics for Sentential Logics, Lecture Notes in Logic, vol.\u00a07, 2nd edn. Association for Symbolic Logic, Ithaca. \n                        http:\/\/projecteuclid.org\/euclid.lnl\/1235416965\n                        \n                     (2009)"},{"issue":"1\u20132","key":"577_CR18","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1023\/A:1024621922509","volume":"74","author":"JM Font","year":"2003","unstructured":"Font, J.M., Jansana, R., Pigozzi, D.L.: A survey of abstract algebraic logic. Studia Logica 74(1\u20132), 13\u201397 (2003)","journal-title":"Studia Logica"},{"key":"577_CR19","first-page":"283","volume-title":"Handbook of Mathematical Fuzzy Logic\u2014Volume 1, Studies in Logic, Mathematical Logic and Foundations","author":"R Hor\u010d\u00edk","year":"2011","unstructured":"Hor\u010d\u00edk, R.: Algebraic semantics: semilinear FL-algebras. In: Cintula, P., H\u00e1jek, P., Noguera, C. (eds.) Handbook of Mathematical Fuzzy Logic\u2014Volume 1, Studies in Logic, Mathematical Logic and Foundations, vol. 37, pp. 283\u2013353. College Publications, London (2011)"},{"issue":"3","key":"577_CR20","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1007\/s11225-016-9699-3","volume":"105","author":"T L\u00e1vi\u010dka","year":"2017","unstructured":"L\u00e1vi\u010dka, T., Noguera, C.: A new hierarchy of infinitary logics in abstract algebraic logic. Studia Logica 105(3), 521\u2013551 (2017)","journal-title":"Studia Logica"},{"issue":"iii","key":"577_CR21","first-page":"30","volume":"23","author":"J \u0141ukasiewicz","year":"1930","unstructured":"\u0141ukasiewicz, J., Tarski, A.: Untersuchungen \u00fcber den Aussagenkalk\u00fcl. Comptes Rendus des S\u00e9ances de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie, cl.\u00a0III 23(iii), 30\u201350 (1930)","journal-title":"Comptes Rendus des S\u00e9ances de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie, cl.\u00a0III"},{"issue":"3","key":"577_CR22","doi-asserted-by":"crossref","first-page":"834","DOI":"10.2178\/jsl\/1191333844","volume":"72","author":"G Metcalfe","year":"2007","unstructured":"Metcalfe, G., Montagna, F.: Substructural fuzzy logics. J. Symb. Logic 72(3), 834\u2013864 (2007)","journal-title":"J. Symb. Logic"},{"key":"577_CR23","volume-title":"Proof Theory for Fuzzy Logics, Applied Logic Series","author":"G Metcalfe","year":"2008","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.M.: Proof Theory for Fuzzy Logics, Applied Logic Series, vol. 36. Springer, New York (2008)"},{"issue":"3","key":"577_CR24","doi-asserted-by":"crossref","first-page":"851","DOI":"10.2307\/2274139","volume":"49","author":"G Takeuti","year":"1984","unstructured":"Takeuti, G., Titani, S.: Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. J. Symb. Logic 49(3), 851\u2013866 (1984)","journal-title":"J. Symb. Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-017-0577-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0577-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0577-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,24]],"date-time":"2018-03-24T06:03:54Z","timestamp":1521871434000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-017-0577-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,31]]},"references-count":24,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2018,5]]}},"alternative-id":["577"],"URL":"https:\/\/doi.org\/10.1007\/s00153-017-0577-0","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7,31]]}}}