{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T11:10:01Z","timestamp":1762254601987,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031399640"},{"type":"electronic","value":"9783031399657"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-39965-7_43","type":"book-chapter","created":{"date-parts":[[2023,8,20]],"date-time":"2023-08-20T16:01:37Z","timestamp":1692547297000},"page":"518-529","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Free Product Hoops"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Manfucci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8663-042X","authenticated-orcid":false,"given":"Sara","family":"Ugolini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,8,21]]},"reference":[{"issue":"1","key":"43_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s11225-007-9078-1","volume":"87","author":"P Aglian\u00f2","year":"2007","unstructured":"Aglian\u00f2, P., Ferrerim, I.M.A., Montagna, F.: Basic hoops: an algebraic study of continuous $$t$$-norms. Stud. Logica. 87(1), 73\u201398 (2007). https:\/\/doi.org\/10.1007\/s11225-007-9078-1","journal-title":"Stud. Logica."},{"key":"43_CR2","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1016\/j.ijar.2022.11.018","volume":"153","author":"P Aglian\u00f2","year":"2023","unstructured":"Aglian\u00f2, P., Ugolini, S.: Projectivity and unification in substructural logics of generalized rotations. Int. J. Approximate Reasoning 153, 172\u2013192 (2023)","journal-title":"Int. J. Approximate Reasoning"},{"key":"43_CR3","doi-asserted-by":"crossref","unstructured":"Aguzzoli, S., Gerla, B.: Invertible substitutions in logics with algebraic semantics equivalent to Product algebras. In: 2022 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Padua, Italy, pp. 1\u20138 (2022)","DOI":"10.1109\/FUZZ-IEEE55066.2022.9882760"},{"key":"43_CR4","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s000120050156","volume":"43","author":"WJ Blok","year":"2000","unstructured":"Blok, W.J., Ferreirim, I.M.A.: On the structure of hoops. Algebra Univers. 43, 233\u2013257 (2000). https:\/\/doi.org\/10.1007\/s000120050156","journal-title":"Algebra Univers."},{"key":"43_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra","author":"S Burris","year":"1981","unstructured":"Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer, New York (1981)"},{"key":"43_CR6","first-page":"45","volume":"5","author":"R Cignoli","year":"2000","unstructured":"Cignoli, R., Torrens, A.: An algebraic analysis of product logic. Multiple Valued Log. 5, 45\u201365 (2000)","journal-title":"Multiple Valued Log."},{"key":"43_CR7","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s000120050154","volume":"43","author":"R Cignoli","year":"2000","unstructured":"Cignoli, R., Torrens, A.: Free cancellative hoops. Algebra Univers. 43, 213\u2013216 (2000)","journal-title":"Algebra Univers."},{"key":"43_CR8","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/s11225-006-8302-8","volume":"83","author":"R Cignoli","year":"2006","unstructured":"Cignoli, R., Torrens, A.: Free algebras in varieties of Glivenko MTL-algebras satisfying the equation $$2(x^2) = (2x)^2$$. Stud. Logica. 83, 157\u2013181 (2006). https:\/\/doi.org\/10.1007\/s11225-006-8302-8","journal-title":"Stud. Logica."},{"issue":"1","key":"43_CR9","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.fss.2003.06.001","volume":"143","author":"P Cintula","year":"2004","unstructured":"Cintula, P., Gerla, B.: Semi-normal forms and functional representation of product fuzzy logic. Fuzzy Sets Syst. 143(1), 89\u2013110 (2004)","journal-title":"Fuzzy Sets Syst."},{"issue":"2","key":"43_CR10","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1215\/00294527-2009-004","volume":"50","author":"P Cintula","year":"2009","unstructured":"Cintula, P., Metcalfe, G.: Structural completeness in fuzzy logic. Notre Dame J. Formal Log. 50(2), 153\u2013182 (2009)","journal-title":"Notre Dame J. Formal Log."},{"key":"43_CR11","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/j.ijar.2017.11.003","volume":"93","author":"T Flaminio","year":"2018","unstructured":"Flaminio, T., Godo, L., Ugolini, S.: Towards a probability theory for product logic: states, integral representation and reasoning. Int. J. Approximate Reasoning 93, 199\u2013218 (2018)","journal-title":"Int. J. Approximate Reasoning"},{"key":"43_CR12","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/s00012-019-0612-6","volume":"80","author":"W Fussner","year":"2019","unstructured":"Fussner, W., Ugolini, S.: A topological approach to MTL-algebras. Algebra Univers. 80, 38 (2019). https:\/\/doi.org\/10.1007\/s00012-019-0612-6","journal-title":"Algebra Univers."},{"key":"43_CR13","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logics and the Foundations of Mathematics","author":"N Galatos","year":"2007","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logics and the Foundations of Mathematics, vol. 151. Elsevier, Amsterdam (2007)"},{"key":"43_CR14","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Trends in Logic-Studia Logica Library, no. 4. Kluwer Academic Publishers, Dordrecht, Boston, London (1998)","DOI":"10.1007\/978-94-011-5300-3"},{"key":"43_CR15","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF01268618","volume":"35","author":"P H\u00e1jek","year":"1996","unstructured":"H\u00e1jek, P., Godo, L., Esteva, F.: A complete many-valued logic with product conjunction. Arch. Math. Log. 35, 191\u2013208 (1996). https:\/\/doi.org\/10.1007\/BF01268618","journal-title":"Arch. Math. Log."},{"key":"43_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9540-7","volume-title":"Triangular Norms","author":"EP Klement","year":"2000","unstructured":"Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Kluwer Academic Publishers, Dordrecht (2000)"},{"issue":"2","key":"43_CR17","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/s11225-014-9569-9","volume":"103","author":"F Montagna","year":"2015","unstructured":"Montagna, F., Ugolini, S.: A categorical equivalence for product algebras. Stud. Logica. 103(2), 345\u2013373 (2015). https:\/\/doi.org\/10.1007\/s11225-014-9569-9","journal-title":"Stud. Logica."},{"key":"43_CR18","doi-asserted-by":"publisher","unstructured":"Ugolini, S.: The polyhedral geometry of Wajsberg hoops. J. Log. Comput. (2023). https:\/\/doi.org\/10.1093\/logcom\/exad007","DOI":"10.1093\/logcom\/exad007"},{"key":"43_CR19","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1016\/j.ins.2016.08.072","volume":"372","author":"A Vidal","year":"2016","unstructured":"Vidal, A.: MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions. Inf. Sci. 372, 709\u2013730 (2016)","journal-title":"Inf. Sci."},{"issue":"1","key":"43_CR20","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1093\/logcom\/exv046","volume":"27","author":"A Vidal","year":"2017","unstructured":"Vidal, A., Esteva, F., Godo, L.: On modal extensions of product fuzzy logic. J. Log. Comput. 27(1), 299\u2013336 (2017)","journal-title":"J. Log. Comput."}],"container-title":["Lecture Notes in Computer Science","Fuzzy Logic and Technology, and Aggregation Operators"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-39965-7_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,20]],"date-time":"2023-08-20T16:05:00Z","timestamp":1692547500000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-39965-7_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031399640","9783031399657"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-39965-7_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"21 August 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EUSFLAT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Conference of the European Society for Fuzzy Logic and Technology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Palma de Mallorca","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"eusflat2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.eusflat2023.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"161","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"71","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"44% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}