{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T12:37:06Z","timestamp":1772368626593,"version":"3.50.1"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,11,2]],"date-time":"2016-11-02T00:00:00Z","timestamp":1478044800000},"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":["Soft Comput"],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1007\/s00500-016-2420-7","type":"journal-article","created":{"date-parts":[[2016,11,2]],"date-time":"2016-11-02T13:03:36Z","timestamp":1478091816000},"page":"175-189","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Density revisited"],"prefix":"10.1007","volume":"21","author":[{"given":"George","family":"Metcalfe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Constantine","family":"Tsinakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,2]]},"reference":[{"issue":"3\u20134","key":"2420_CR1","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF01531058","volume":"4","author":"A Avron","year":"1991","unstructured":"Avron A (1991) Hypersequents, logical consequence and intermediate logics for concurrency. Ann Math Artif Intel 4(3\u20134):225\u2013248","journal-title":"Ann Math Artif Intel"},{"key":"2420_CR2","series-title":"lecture notes in computer science","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/3-540-44622-2_12","volume-title":"Proceedings of CSL 2000, vol 1862","author":"M Baaz","year":"2000","unstructured":"Baaz M, Zach R (2000) Hypersequents and the proof theory of intuitionistic fuzzy logic. Proceedings of CSL 2000, vol 1862., lecture notes in computer scienceSpringer, Berlin, pp 187\u2013201"},{"issue":"4","key":"2420_CR3","doi-asserted-by":"crossref","first-page":"315","DOI":"10.3233\/FUN-2004-59401","volume":"59","author":"M Baaz","year":"2004","unstructured":"Baaz M, Ciabattoni A, Montagna F (2004) Analytic calculi for monoidal t-norm based logic. Fundam Inform 59(4):315\u2013332","journal-title":"Fundam Inform"},{"issue":"8","key":"2420_CR4","doi-asserted-by":"crossref","first-page":"1463","DOI":"10.1007\/s00500-014-1265-1","volume":"18","author":"P Baldi","year":"2014","unstructured":"Baldi P (2014) A note on standard completeness for some extensions of uninorm logic. Soft Comput 18(8):1463\u20131470","journal-title":"Soft Comput"},{"key":"2420_CR5","doi-asserted-by":"crossref","unstructured":"Baldi P, Ciabattoni A (2015a) Standard completeness for uninorm-based logics. In: Proceedings of ISMVL 2015, IEEE Computer Society Press, pp 78\u201383","DOI":"10.1109\/ISMVL.2015.20"},{"key":"2420_CR6","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/j.tcs.2015.07.014","volume":"603","author":"P Baldi","year":"2015","unstructured":"Baldi P, Ciabattoni A (2015b) Uniform proofs of standard completeness for extensions of first-order MTL. Theor Comput Sci 603:43\u201357","journal-title":"Theor Comput Sci"},{"issue":"2","key":"2420_CR7","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/s00012-016-0372-5","volume":"75","author":"P Baldi","year":"2016","unstructured":"Baldi P, Terui K (2016) Densification of FL chains via residuated frames. Algebra Univ 75(2):169\u2013195","journal-title":"Algebra Univ"},{"key":"2420_CR8","doi-asserted-by":"crossref","unstructured":"Baldi P, Ciabattoni A, Spendier L (2012) Standard completeness for extensions of MTL: an automated approach. Proceedings of WoLLIC 2012, vol 8701, lecture notes in computer science. Springer, Berlin, pp 154\u2013167","DOI":"10.1007\/978-3-642-32621-9_12"},{"issue":"4","key":"2420_CR9","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1142\/S0218196703001511","volume":"13","author":"K Blount","year":"2003","unstructured":"Blount K, Tsinakis C (2003) The structure of residuated lattices. Int J Algebra Comput 13(4):437\u2013461","journal-title":"Int J Algebra Comput"},{"key":"2420_CR10","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/j.jalgebra.2015.10.015","volume":"450","author":"M Botur","year":"2015","unstructured":"Botur M, K\u00fchr J, Liu L, Tsinakis C (2015) The Conrad program: from l-groups to algebras of logic. J Algebra 450:173\u2013203","journal-title":"J Algebra"},{"key":"2420_CR11","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","volume":"88","author":"CC Chang","year":"1958","unstructured":"Chang CC (1958) Algebraic analysis of many-valued logics. Trans Am Math Soc 88:467\u2013490","journal-title":"Trans Am Math Soc"},{"issue":"1\u20132","key":"2420_CR12","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 (2008) Density elimination. Theor Comput Sci 403(1\u20132):328\u2013346","journal-title":"Theor Comput Sci"},{"issue":"5","key":"2420_CR13","first-page":"441","volume":"12","author":"A Ciabattoni","year":"2002","unstructured":"Ciabattoni A, Esteva F, Godo L (2002) T-norm based logics with n-contraction. Neural Netw World 12(5):441\u2013453","journal-title":"Neural Netw World"},{"key":"2420_CR14","doi-asserted-by":"crossref","unstructured":"Ciabattoni A, Galatos N, Terui K (2008) From axioms to analytic rules in nonclassical logics. In: Proceedings of LICS 2008, IEEE Computer Society Press, pp 229\u2013240","DOI":"10.1109\/LICS.2008.39"},{"key":"2420_CR15","doi-asserted-by":"crossref","unstructured":"Ciabattoni A, Galatos N, Terui K (2012) Algebraic proof theory for substructural logics: cut-elimination and completions. Ann Pure Appl Log 163(3):266\u2013290","DOI":"10.1016\/j.apal.2011.09.003"},{"key":"2420_CR16","unstructured":"Ciabattoni A, Galatos N, Terui K (2016) Algebraic proof theory for substructural logics: hypersequents. Manuscript"},{"key":"2420_CR17","doi-asserted-by":"crossref","unstructured":"Cignoli R, D\u2019Ottaviano ID, Mundici D (2000) Algebraic foundations of many-valued reasoning. Trends in logic. Kluwer, Dordrecht","DOI":"10.1007\/978-94-015-9480-6"},{"key":"2420_CR18","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/s005000000044","volume":"4","author":"R Cignoli","year":"2000","unstructured":"Cignoli R, Esteva F, Godo L, Torrens A (2000) Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Comput 4:106\u2013112","journal-title":"Soft Comput"},{"key":"2420_CR19","unstructured":"Cintula P, Noguera C (2011) A general framework for mathematical fuzzy logic. In: Cintula P, H\u00e1jek P, Noguera C (eds) Handbook of mathematical fuzzy logic, vol 1, studies in logic, mathematical logic and foundations, vol 37. College Publications, pp 103\u2013207"},{"key":"2420_CR20","unstructured":"Cintula P, Noguera C (2016) Implicational (semilinear) logics III. Manuscript"},{"issue":"1","key":"2420_CR21","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 (2009) Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Ann Pure Appl Logic 160(1):53\u201381","journal-title":"Ann Pure Appl Logic"},{"key":"2420_CR22","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/BF01190258","volume":"27","author":"J Czelakowski","year":"1990","unstructured":"Czelakowski J, Dziobiak W (1990) Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class. Algebra Univ 27:128\u2013149","journal-title":"Algebra Univ"},{"key":"2420_CR23","doi-asserted-by":"crossref","first-page":"97","DOI":"10.2307\/2964753","volume":"24","author":"M Dummett","year":"1959","unstructured":"Dummett M (1959) A propositional calculus with denumerable matrix. J Symb Log 24:97\u2013106","journal-title":"J Symb Log"},{"issue":"3","key":"2420_CR24","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"F Esteva","year":"2001","unstructured":"Esteva F, Godo L (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124(3):271\u2013288","journal-title":"Fuzzy Sets Syst"},{"issue":"2","key":"2420_CR25","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1023\/A:1016548805869","volume":"71","author":"F Esteva","year":"2002","unstructured":"Esteva F, Gispert L, Godo L, Montagna F (2002) On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic. Stud Log 71(2):199\u2013226","journal-title":"Stud Log"},{"key":"2420_CR26","unstructured":"Galatos N, Hor\u010dik R (2016) Densification via polynomials, languages, and frames. J Pure Appl Algebra"},{"key":"2420_CR27","unstructured":"Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics., Studies in logic and the foundations of mathematics. Elsevier, Amsterdam"},{"key":"2420_CR28","first-page":"65","volume":"69","author":"K G\u00f6del","year":"1932","unstructured":"G\u00f6del K (1932) Zum intuitionistischen Aussagenkalk\u00fcl. Anzeiger der Akademie der Wissenschaftischen in Wien 69:65\u201366","journal-title":"Anzeiger der Akademie der Wissenschaftischen in Wien"},{"key":"2420_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of fuzzy logic, trends in logic","author":"P H\u00e4jek","year":"1998","unstructured":"H\u00e4jek P (1998) Metamathematics of fuzzy logic, trends in logic, vol 4. Kluwer, Dordrecht"},{"key":"2420_CR30","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF01268618","volume":"35","author":"P H\u00e1jek","year":"1996","unstructured":"H\u00e1jek P, Godo L, Esteva F (1996) A complete many-valued logic with product-conjunction. Arch Math Log 35:191\u2013208","journal-title":"Arch Math Log"},{"issue":"4","key":"2420_CR31","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/s00153-004-0254-y","volume":"44","author":"R Hor\u010d\u00edk","year":"2005","unstructured":"Hor\u010d\u00edk R (2005) Standard completeness theorem for $$\\varPi $$ \u03a0 MTL. Arch Math Log 44(4):413\u2013424","journal-title":"Arch Math Log"},{"key":"2420_CR32","unstructured":"Hor\u010d\u00edk R (2011) Algebraic semantics: semilinear FL-algebras. In: Cintula P, H\u00e4jek P, Noguera C (eds) Handbook of mathematical fuzzy logic, vol 1, studies in logic, mathematical logic and foundations, vol 37. College Publications, pp 283\u2013353"},{"issue":"4","key":"2420_CR33","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1093\/logcom\/exl002","volume":"16","author":"R Hor\u010d\u00edk","year":"2006","unstructured":"Hor\u010d\u00edk R, Montagna F, Noguera R (2006) On weakly cancellative fuzzy logics. J Log Comput 16(4):423\u2013450","journal-title":"J Log Comput"},{"key":"2420_CR34","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1007\/BF01195862","volume":"28","author":"ME Huss","year":"1991","unstructured":"Huss ME (1991) The lex property for varieties of lattice ordered groups. Algebra Univ 28:535\u2013548","journal-title":"Algebra Univ"},{"issue":"2","key":"2420_CR35","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1015122331293","volume":"70","author":"S Jenei","year":"2002","unstructured":"Jenei S, Montagna F (2002) A proof of standard completeness for Esteva and Godo fs logic MTL. Stud Log 70(2):183\u2013192","journal-title":"Stud Log"},{"issue":"5","key":"2420_CR36","first-page":"481","volume":"13","author":"S Jenei","year":"2003","unstructured":"Jenei S, Montagna F (2003) A proof of standard completeness for non-commutative monoidal t-norm logic. Neural Netw World 13(5):481\u2013489","journal-title":"Neural Netw World"},{"key":"2420_CR37","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-1-4757-3627-4_3","volume-title":"Ordered algebraic structures","author":"P Jipsen","year":"2002","unstructured":"Jipsen P, Tsinakis C (2002) A survey of residuated lattices. In: Martinez J (ed) Ordered algebraic structures. Kluwer, Dordrecht, pp 19\u201356"},{"key":"2420_CR38","unstructured":"\u0141ukasiewicz J, Tarski A (1930) Untersuchungen \u00fcber den Aussagenkalk\u00fcl, Comptes Rendus des S\u00e9ances de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie 23(iii):30\u201350"},{"key":"2420_CR39","unstructured":"Metcalfe G (2003) Proof theory for propositional fuzzy logics. Ph.D. thesis, King\u2019s College London"},{"key":"2420_CR40","unstructured":"Metcalfe G (2011) Proof theory of mathematical fuzzy logic. In: Cintula P, H\u00e4jek P, Noguera C (eds) Handbook of mathematical fuzzy logic\u2014vol 1. Studies in logic, mathematical logic and foundations, vol 37. College Publications, pp 209\u2013282"},{"issue":"3","key":"2420_CR41","doi-asserted-by":"crossref","first-page":"834","DOI":"10.2178\/jsl\/1191333844","volume":"72","author":"G Metcalfe","year":"2007","unstructured":"Metcalfe G, Montagna F (2007) Substructural fuzzy logics. J Symb Log 72(3):834\u2013864","journal-title":"Substructural fuzzy logics. J Symb Log"},{"issue":"7","key":"2420_CR42","doi-asserted-by":"crossref","first-page":"859","DOI":"10.1007\/s00153-004-0225-3","volume":"43","author":"G Metcalfe","year":"2004","unstructured":"Metcalfe G, Olivetti N, Gabbay D (2004) Analytic proof calculi for product logics. Arch Math Log 43(7):859\u2013889","journal-title":"Arch Math Log"},{"issue":"3","key":"2420_CR43","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1145\/1071596.1071600","volume":"6","author":"G Metcalfe","year":"2005","unstructured":"Metcalfe G, Olivetti N, Gabbay D (2005) Sequent and hypersequent calculi for abelian and \u0141ukasiewicz logics. ACM Trans Comput Log 6(3):578\u2013613","journal-title":"ACM Trans Comput Log"},{"key":"2420_CR44","volume-title":"Proof theory for fuzzy logics, applied logic","author":"G Metcalfe","year":"2008","unstructured":"Metcalfe G, Olivetti N, Gabbay D (2008) Proof theory for fuzzy logics, applied logic, vol 36. Springer, Berlin"},{"key":"2420_CR45","unstructured":"Metcalfe G, Paoli F, Tsinakis C (2010) Ordered algebras and logic, uncertainty and rationality. In: Hosni H, Montagna F (eds) Publications of the Scuola Normale Superiore di Pisa, vol 10, pp 1\u201385"},{"issue":"2","key":"2420_CR46","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/A:1016500922708","volume":"71","author":"F Montagna","year":"2002","unstructured":"Montagna F, Ono H (2002) Kripke semantics, undecidability and standard completeness for Esteva and Godo\u2019s logic MTL $$\\forall $$ \u2200 . Stud Log 71(2):227\u2013245","journal-title":"Stud Log"},{"key":"2420_CR47","doi-asserted-by":"crossref","first-page":"169","DOI":"10.2307\/2273798","volume":"50","author":"H Ono","year":"1985","unstructured":"Ono H, Komori Y (1985) Logics without the contraction rule. J Symb Log 50:169\u2013201","journal-title":"J Symb Log"},{"key":"2420_CR48","doi-asserted-by":"crossref","unstructured":"Rose A, Rosser JB (1958) Fragments of many-valued statement calculi. Trans Am Math Soc 87:1\u201353","DOI":"10.1090\/S0002-9947-1958-0094299-1"},{"issue":"3","key":"2420_CR49","doi-asserted-by":"crossref","first-page":"851","DOI":"10.2307\/2274139","volume":"49","author":"G Takeuti","year":"1984","unstructured":"Takeuti G, Titani T (1984) Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. J Symb Log 49(3):851\u2013866","journal-title":"J Symb Log"},{"issue":"4","key":"2420_CR50","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1093\/jigpal\/jzp023","volume":"17","author":"S Wang","year":"2009","unstructured":"Wang S, Zhao B (2009) HpsUL is not the logic of pseudo-uninorms and their residua. Log J IGPL 17(4):413\u2013419","journal-title":"Log J IGPL"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2420-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-016-2420-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2420-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T23:23:16Z","timestamp":1749684196000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-016-2420-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,2]]},"references-count":50,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["2420"],"URL":"https:\/\/doi.org\/10.1007\/s00500-016-2420-7","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,11,2]]}}}