{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T22:12:21Z","timestamp":1759961541211,"version":"3.37.3"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,6,17]],"date-time":"2021-06-17T00:00:00Z","timestamp":1623888000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,6,17]],"date-time":"2021-06-17T00:00:00Z","timestamp":1623888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"publisher","award":["670624"],"award-info":[{"award-number":["670624"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2022,2]]},"DOI":"10.1007\/s11225-021-09956-z","type":"journal-article","created":{"date-parts":[[2021,6,17]],"date-time":"2021-06-17T13:04:06Z","timestamp":1623935046000},"page":"95-120","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Poset Products as Relational Models"],"prefix":"10.1007","volume":"110","author":[{"given":"Wesley","family":"Fussner","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,6,17]]},"reference":[{"key":"9956_CR1","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.ijar.2006.02.003","volume":"43","author":"S Aguzzoli","year":"2006","unstructured":"Aguzzoli,\u00a0S., An asymptotically tight bound on countermodels for \u0141ukasiewicz logic, Internat. J. Approx. Reason 43:76\u201389, 2006.","journal-title":"Internat. J. Approx. Reason."},{"key":"9956_CR2","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s11225-009-9192-3","volume":"92","author":"S Aguzzoli","year":"2009","unstructured":"Aguzzoli,\u00a0S., M.\u00a0Bianchi, and V.\u00a0Marra, A Temporal Semantics for Basic Logic, Studia Logica 92:147\u2013162, 2009.","journal-title":"Studia Logica"},{"key":"9956_CR3","first-page":"195","volume":"2","author":"LP Belluce","year":"2007","unstructured":"Belluce,\u00a0L.P., A.\u00a0Di Nola, and B.\u00a0Gerla, The logic of perfect MV-algebras, in Proceedings of EUSFLAT Conf., 2:195\u2013199, 2007.","journal-title":"Proceedings of EUSFLAT Conf."},{"key":"9956_CR4","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s000120050156","volume":"43","author":"WJ Blok","year":"2000","unstructured":"Blok,\u00a0W.J., and M.A.\u00a0Ferreirim, On the structure of hoops, Algebra Universalis 43:233\u2013257, 2000.","journal-title":"Algebra Universalis"},{"key":"9956_CR5","doi-asserted-by":"crossref","unstructured":"Blok,\u00a0W., and D.\u00a0Pigozzi, Algebraizable logics, Mem. Amer. Math. Soc. 77, 1989.","DOI":"10.1090\/memo\/0396"},{"key":"9956_CR6","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1142\/S0218196703001511","volume":"13","author":"K Blount","year":"2003","unstructured":"Blount,\u00a0K., and C. Tsinakis, The structure of residuated lattices, Internat. J. Algebra Comput 13:437\u2013461, 2003.","journal-title":"Internat. J. Algebra Comput"},{"key":"9956_CR7","doi-asserted-by":"crossref","unstructured":"Bova,\u00a0S., and F.\u00a0Montagna, Proof search in H\u00e1jek\u2019s Basic Logic, ACM Trans. Comput. Log 9:21:1\u201321:26, 2008.","DOI":"10.1145\/1352582.1352589"},{"key":"9956_CR8","doi-asserted-by":"crossref","unstructured":"Burris,\u00a0S., and H. P.\u00a0Sankappanavar, A\u00a0Course in Universal Algebra, Springer-Verlag, 1981.","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"9956_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s00012-014-0265-4","volume":"71","author":"M Busaniche","year":"2014","unstructured":"Busaniche,\u00a0M., and C.\u00a0Cignoli, The subvariety of commutative residuated lattices represented by twist-products, Algebra Universalis 71:5\u201322, 2014.","journal-title":"Algebra Universalis"},{"key":"9956_CR10","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1007\/s11225-017-9764-6","volume":"106","author":"M Busaniche","year":"2018","unstructured":"Busaniche,\u00a0M., and C.\u00a0Gomez, Poset product and BL-chains, Studia Logica 106:739\u2013756, 2018.","journal-title":"Studia Logica"},{"key":"9956_CR11","unstructured":"Busaniche,\u00a0M., and F.\u00a0Montagna, H\u00e1jek\u2019s logic BL and BL-algebras, in P. Cintula, P. H\u00e1jek, and C. Noguera, (eds.), Handbook of Mathematical Fuzzy Logic, vol. 1 of Studies in Logic, Mathematical Logic and Foundations, College Publications, 2011, pp. 355\u2013447"},{"key":"9956_CR12","doi-asserted-by":"crossref","unstructured":"Chagrov,\u00a0A., and M.\u00a0Zakharyaschev, Modal Logic, Oxford University Press, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"9956_CR13","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","volume":"88","author":"CC Chang","year":"1958","unstructured":"Chang,\u00a0C.C., Algebraic analysis of many-valued logics, Trans. Amer. Math. Soc. 88:467\u2013490, 1958.","journal-title":"Trans. Amer. Math. Soc."},{"key":"9956_CR14","doi-asserted-by":"crossref","unstructured":"Ciabattoni,\u00a0A., N.\u00a0Galatos, and K.\u00a0Terui, From axioms to analytic rules in nonclassical logics, in Proceedings of LICS\u201908, 229\u2013240, 2008.","DOI":"10.1109\/LICS.2008.39"},{"key":"9956_CR15","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1016\/j.apal.2011.09.003","volume":"163","author":"A Ciabattoni","year":"2012","unstructured":"Ciabattoni,\u00a0A., N.\u00a0Galatos, and K.\u00a0Terui, Algebraic proof theory for substructural logics: cut-elimination and completions, Ann. Pure Appl. Logic 163:266\u2013290, 2012.","journal-title":"Ann. Pure Appl. Logic"},{"key":"9956_CR16","doi-asserted-by":"crossref","unstructured":"Cignoli,\u00a0R. L.O., I.M.L.\u00a0D\u2019Ottaviano, and D.\u00a0Mundici, Algebraic Foundations of Many-Valued Reasoning, vol. 7 of Trends in Logic\u2013Studia Logica Library, Kluwer Academic Publishers, Dordrecht, 2000.","DOI":"10.1007\/978-94-015-9480-6_2"},{"key":"9956_CR17","doi-asserted-by":"crossref","unstructured":"Cintula,\u00a0P., R.\u00a0Hor\u010d\u00edc, and C.\u00a0Noguera, The Quest for the Basic Fuzzy Logic, in Montagna,\u00a0F. (ed.), Petr H\u00e1jek on Mathematical Fuzzy Logic, vol 6. of Outstanding Contributions to Logic, Springer, 2014, pp. 245\u2013290.","DOI":"10.1007\/978-3-319-06233-4_12"},{"key":"9956_CR18","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BF02120878","volume":"35","author":"JM Dunn","year":"1976","unstructured":"Dunn,\u00a0J. M., A Kripke-style semantics for R-mingle using a binary accessibility relation, Studia Logica 35:163\u2013172, 1976.","journal-title":"Studia Logica"},{"key":"9956_CR19","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1002\/malq.201400074","volume":"62","author":"G Frosoni","year":"2016","unstructured":"Frosoni,\u00a0G., Conuclear images of substructural logics, Math. Log. Q. 62:204\u2013214, 2016.","journal-title":"Math. Log. Q."},{"key":"9956_CR20","doi-asserted-by":"publisher","first-page":"1188","DOI":"10.1016\/j.apal.2019.05.003","volume":"170","author":"W Fussner","year":"2019","unstructured":"Fussner,\u00a0W., and N.\u00a0Galatos, Categories of models of R-mingle, Ann. Pure Appl. Logic 170:1188\u20131242, 2019.","journal-title":"Ann. Pure Appl. Logic"},{"key":"9956_CR21","unstructured":"Galatos,\u00a0N., and P.\u00a0Jipsen, A survey of generalized basic logic algebras, in P. Cintula, Z. Hanikova, and V. Svejdar, (eds.), Witnessed Years: Essays in Honour of Petr H\u00e1jek College Publications, London, 2009, pp. 305\u2013331."},{"key":"9956_CR22","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s11225-006-8305-5","volume":"83","author":"N Galatos","year":"2006","unstructured":"Galatos,\u00a0N., and H.\u00a0Ono, Algebraization, parametrized local deduction theorem and interpolation for substructural logics over $${\\bf FL}$$, Studia Logica 83:279\u2013308, 2006.","journal-title":"Studia Logica"},{"key":"9956_CR23","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1016\/j.jalgebra.2004.07.002","volume":"283","author":"N Galatos","year":"2005","unstructured":"Galatos,\u00a0N., and C.\u00a0Tsinakis, Generalized MV-algebras, J. Algebra 283:254\u2013291, 2005.","journal-title":"J. Algebra"},{"key":"9956_CR24","unstructured":"Galatos,\u00a0N., P.\u00a0Jipsen, T.\u00a0Kowalski, and H.\u00a0Ono, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Elsevier, 2007."},{"key":"9956_CR25","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,\u00a0P., Metamathematics of fuzzy logic, Dordrecht: Kluwer, 1998."},{"key":"9956_CR26","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1002\/malq.201500066","volume":"62","author":"E Je\u0159\u00e1bek","year":"2016","unstructured":"Je\u0159\u00e1bek,\u00a0E., A note on the substructural hierarchy, Math. Log. Q. 62:102\u2013110, 2016.","journal-title":"Math. Log. Q."},{"key":"9956_CR27","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1016\/j.apal.2009.05.005","volume":"161","author":"P Jipsen","year":"2009","unstructured":"Jipsen, P., Generalizations of Boolean products for lattice-ordered algebras, Ann. Pure Appl. Logic 161:228\u2013234, 2009.","journal-title":"Ann. Pure Appl. Logic"},{"key":"9956_CR28","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/s00012-006-1960-6","volume":"55","author":"P Jipsen","year":"2006","unstructured":"Jipsen, P., and F.\u00a0Montagna, On the structure of generalized BL-algebras, Algebra Universalis 55:226\u2013237, 2006.","journal-title":"Algebra Universalis"},{"key":"9956_CR29","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/s00012-009-2106-4","volume":"60","author":"P Jipsen","year":"2009","unstructured":"Jipsen, P., and F.\u00a0Montagna, The Blok-Ferreirim theorem for normal GBL-algebras and its applications, Algebra Universalis 60:381\u2013404, 2009.","journal-title":"Algebra Universalis"},{"key":"9956_CR30","doi-asserted-by":"publisher","first-page":"1559","DOI":"10.1016\/j.jpaa.2009.11.015","volume":"214","author":"P Jipsen","year":"2010","unstructured":"Jipsen, P., and F.\u00a0Montagna, Embedding theorems for classes of GBL-algebras, J. Pure Appl. Algebra 214:1559\u20131575, 2010.","journal-title":"J. Pure Appl. Algebra"},{"key":"9956_CR31","doi-asserted-by":"crossref","unstructured":"Lewis-Smith,\u00a0A., P.\u00a0Oliva, and E.\u00a0Robinson, Kripke semantics for intuitionistic \u0141ukasiewicz logic, Studia Logica 109:313\u2013339, 2021.","DOI":"10.1007\/s11225-020-09908-z"},{"key":"9956_CR32","unstructured":"Mares,\u00a0E., Relevance Logic, in E. Zalta, (ed.), The Stanford Encyclopedia of Philosophy, https:\/\/plato.stanford.edu\/archives\/win2020\/entries\/logic-relevance\/, 2020."},{"key":"9956_CR33","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0304-3975(87)90083-1","volume":"52","author":"D Mundici","year":"1987","unstructured":"Mundici,\u00a0D., Satisfiability in many-valued sentential logic is NP-complete, Theoret. Comput. Sci. 52:145\u2013153, 1987.","journal-title":"Theoret. Comput. Sci."},{"key":"9956_CR34","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1002\/malq.200710054","volume":"54","author":"C Noguera","year":"2008","unstructured":"Noguera,\u00a0C., F.\u00a0Esteva, and J.\u00a0Gispert, On triangular norm based axiomatic extensions of the weak nilpotent minimum logic, Math. Log. Q. 54:387\u2013409, 2008.","journal-title":"Math. Log. Q."},{"key":"9956_CR35","doi-asserted-by":"crossref","unstructured":"Routley,\u00a0R., and R. K.\u00a0Meyer, The semantics of entailment I, in H. Leblanc (ed.), Truth, Syntax, Modality, North-Holland Publ. Co., Amsterdam, 1973.","DOI":"10.1016\/S0049-237X(08)71541-6"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09956-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-021-09956-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09956-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,5]],"date-time":"2023-11-05T01:04:42Z","timestamp":1699146282000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-021-09956-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,17]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,2]]}},"alternative-id":["9956"],"URL":"https:\/\/doi.org\/10.1007\/s11225-021-09956-z","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2021,6,17]]},"assertion":[{"value":"25 November 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 May 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 June 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}