{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:25:14Z","timestamp":1760171114991,"version":"3.37.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030021481"},{"type":"electronic","value":"9783030021498"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-02149-8_11","type":"book-chapter","created":{"date-parts":[[2018,10,5]],"date-time":"2018-10-05T17:25:34Z","timestamp":1538760334000},"page":"166-183","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Counting Finite Linearly Ordered Involutive Bisemilattices"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Bonzio","sequence":"first","affiliation":[]},{"given":"Michele Pra","family":"Baldi","sequence":"additional","affiliation":[]},{"given":"Diego","family":"Valota","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,6]]},"reference":[{"key":"11_CR1","unstructured":"Aguzzoli, S., Bova, S., Gerla, B.: Free algebras and functional representation for fuzzy logics. In: Cintula, P., H\u00e1jek, P., Noguera, C. (eds.) Handbook of Mathematical Fuzzy Logic. Volume 2, volume 38 of Studies in Logic. Mathematical Logic and Foundation, pp. 713\u2013791. College Publications (2011)"},{"issue":"4","key":"11_CR2","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1093\/logcom\/exm021","volume":"17","author":"S Aguzzoli","year":"2007","unstructured":"Aguzzoli, S., Busaniche, M., Marra, V.: Spectral duality for finitely generated nilpotent minimum algebras, with applications. J. Logic Comput. 17(4), 749\u2013765 (2007)","journal-title":"J. Logic Comput."},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"207","DOI":"10.4064\/fm-68-2-207-214","volume":"68","author":"R Balbes","year":"1970","unstructured":"Balbes, R.: A representation theorem for distributive quasilattices. Fundamenta Mathematicae 68, 207\u2013214 (1970)","journal-title":"Fundamenta Mathematicae"},{"issue":"3","key":"11_CR4","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s00012-015-0323-6","volume":"73","author":"C Bergman","year":"2015","unstructured":"Bergman, C., Failing, D.: Commutative idempotent groupoids and the constraint satisfaction problem. Algebra Universalis 73(3), 391\u2013417 (2015)","journal-title":"Algebra Universalis"},{"key":"11_CR5","first-page":"287","volume":"4","author":"D Bochvar","year":"1938","unstructured":"Bochvar, D.: On a three-valued calculus and its application in the analysis of the paradoxes of the extended functional calculus. Mathematicheskii Sbornik 4, 287\u2013308 (1938)","journal-title":"Mathematicheskii Sbornik"},{"key":"11_CR6","doi-asserted-by":"publisher","unstructured":"Bonzio, S.: Dualities for P\u0142onka sums. Logica Universalis (2018). https:\/\/doi.org\/10.1007\/s11787-018-0209-4","DOI":"10.1007\/s11787-018-0209-4"},{"key":"11_CR7","unstructured":"Bonzio, S., Flaminio, T., Loi, A.: States over P\u0142onka sums of Boolean algebras (2018, in preparation)"},{"issue":"2","key":"11_CR8","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s11225-016-9689-5","volume":"105","author":"S Bonzio","year":"2017","unstructured":"Bonzio, S., Gil-F\u00e9rez, J., Paoli, F., Peruzzi, L.: On Paraconsistent Weak Kleene Logic: axiomatization and algebraic analysis. Stud. Logica 105(2), 253\u2013297 (2017)","journal-title":"Stud. Logica"},{"key":"11_CR9","doi-asserted-by":"publisher","unstructured":"Bonzio, S., Loi, A., Peruzzi, L.: A duality for involutive bisemilattices. Stud. Logica (2018). https:\/\/doi.org\/10.1007\/s11225-018-9801-0","DOI":"10.1007\/s11225-018-9801-0"},{"key":"11_CR10","unstructured":"Bonzio, S., Moraschini, T., Pra Baldi, M.: Logics of left variable inclusion and P\u0142onka sums of matrices (2018, Submitted manuscript)"},{"key":"11_CR11","unstructured":"Bonzio, S., Pra Baldi, M.: Containment logics and P\u0142onka sums of matrices (2018, Submitted manuscript)"},{"issue":"3","key":"11_CR12","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1093\/logcom\/exr006","volume":"22","author":"S Bova","year":"2012","unstructured":"Bova, S., Valota, D.: Finitely generated RDP-algebras: spectral duality, finite coproducts and logical properties. J. Logic Comput. 22(3), 417\u2013450 (2012). http:\/\/dx.doi.org\/10.1093\/logcom\/EXR006","journal-title":"J. Logic Comput."},{"key":"11_CR13","volume-title":"New Developments in Logic and the Philosophy of Science","author":"R Ciuni","year":"2016","unstructured":"Ciuni, R., Carrara, M.: Characterizing logical consequence in paraconsistent weak kleene. In: Felline, L., Ledda, A., Paoli, F., Rossanese, E. (eds.) New Developments in Logic and the Philosophy of Science. College, London (2016)"},{"issue":"4","key":"11_CR14","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1080\/11663081.2014.980116","volume":"24","author":"T Ferguson","year":"2014","unstructured":"Ferguson, T.: A computational interpretation of conceptivism. J. Appl. Non-Classical Logics 24(4), 333\u2013367 (2014)","journal-title":"J. Appl. Non-Classical Logics"},{"key":"11_CR15","volume-title":"Concrete Mathematics","author":"R Graham","year":"1989","unstructured":"Graham, R., Knuth, D., Patashnik, O.: Concrete Mathematics. Addison-Wesley, Boston (1989)"},{"key":"11_CR16","volume-title":"The Logic of Nonsense","author":"S Halld\u00e9n","year":"1949","unstructured":"Halld\u00e9n, S.: The Logic of Nonsense. Lundequista Bokhandeln, Uppsala (1949)"},{"issue":"1","key":"11_CR17","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/s11083-016-9388-x","volume":"34","author":"J Harding","year":"2017","unstructured":"Harding, J., Romanowska, A.B.: Varieties of Birkhoff systems: part I. Order 34(1), 45\u201368 (2017)","journal-title":"Order"},{"issue":"1","key":"11_CR18","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s11083-016-9392-1","volume":"34","author":"J Harding","year":"2017","unstructured":"Harding, J., Romanowska, A.B.: Varieties of Birkhoff Systems: Part II. Order 34(1), 69\u201389 (2017)","journal-title":"Order"},{"issue":"1","key":"11_CR19","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/PL00013837","volume":"48","author":"J Heitzig","year":"2002","unstructured":"Heitzig, J., Reinhold, J.: Counting finite lattices. Algebra Universalis 48(1), 43\u201353 (2002)","journal-title":"Algebra Universalis"},{"key":"11_CR20","unstructured":"Johnstone, P.T.: Stone Spaces. Cambridge Studies in Advanced Mathematics, vol. 3. Cambridge University Press, Cambridge (1982)"},{"issue":"2","key":"11_CR21","doi-asserted-by":"publisher","first-page":"161","DOI":"10.4064\/fm-71-2-161-163","volume":"71","author":"J. Kalman","year":"1971","unstructured":"Kalman, J.: Subdirect decomposition of distributive quasilattices. Fundamenta Mathematicae 2(71), 161\u2013163 (1971)","journal-title":"Fundamenta Mathematicae"},{"key":"11_CR22","volume-title":"Introduction to Metamathematics","author":"S Kleene","year":"1952","unstructured":"Kleene, S.: Introduction to Metamathematics. North Holland, Amsterdam (1952)"},{"key":"11_CR23","unstructured":"Libkin, L.: Aspects of Partial Information in Databases. Ph.D Thesis, University of Pennsylvania (1994)"},{"key":"11_CR24","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4721-8","volume-title":"Categories for the Working Mathematician","author":"S Mac Lane","year":"1978","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. GTM, vol. 5. Springer, New York (1978). https:\/\/doi.org\/10.1007\/978-1-4757-4721-8"},{"key":"11_CR25","unstructured":"McCune, W.: Prover9 and mace4, 2005\u20132010. http:\/\/www.cs.unm.edu\/~mccune\/prover9\/"},{"issue":"2","key":"11_CR26","doi-asserted-by":"publisher","first-page":"183","DOI":"10.4064\/fm-61-2-183-189","volume":"61","author":"J P\u0142onka","year":"1967","unstructured":"P\u0142onka, J.: On a method of construction of abstract algebras. Fundamenta Mathematicae 61(2), 183\u2013189 (1967)","journal-title":"Fundamenta Mathematicae"},{"issue":"2","key":"11_CR27","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/BF01190429","volume":"19","author":"J P\u0142onka","year":"1984","unstructured":"P\u0142onka, J.: On the sum of a direct system of universal algebras with nullary polynomials. Algebra Universalis 19(2), 197\u2013207 (1984)","journal-title":"Algebra Universalis"},{"key":"11_CR28","unstructured":"P\u0142onka, J., Romanowska, A.: Semilattice sums. Universal Algebra and Quasigroup Theory, pp. 123\u2013158 (1992)"},{"key":"11_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"650","DOI":"10.1007\/3-540-57182-5_56","volume-title":"Mathematical Foundations of Computer Science 1993","author":"H Puhlmann","year":"1993","unstructured":"Puhlmann, H.: The snack powerdomain for database semantics. In: Borzyszkowski, A.M., Soko\u0142owski, S. (eds.) MFCS 1993. LNCS, vol. 711, pp. 650\u2013659. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-57182-5_56"},{"key":"11_CR30","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/978-94-009-7798-3_17","volume-title":"Ordered Sets","author":"Robert W. Quackenbush","year":"1982","unstructured":"Quackenbush, R.W.: Enumeration in classes of ordered structures. In: Rival, I. (ed.) Ordered Sets. NATO Advanced Study Institute Series (Series C \u2013 Mathematical and Physical Sciences), vol. 83, pp. 523\u2013554. Springer, Dordrecht (1982). https:\/\/doi.org\/10.1007\/978-94-009-7798-3_17"},{"issue":"1\/2","key":"11_CR31","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF00370148","volume":"56","author":"A Romanowska","year":"1996","unstructured":"Romanowska, A., Smith, J.: Semilattice-based dualities. Stud. Logica 56(1\/2), 225\u2013261 (1996)","journal-title":"Stud. Logica"},{"issue":"3","key":"11_CR32","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/S0022-4049(96)00026-6","volume":"115","author":"A Romanowska","year":"1997","unstructured":"Romanowska, A., Smith, J.: Duality for semilattice representations. J. Pure Appl. Algebra 115(3), 289\u2013308 (1997)","journal-title":"J. Pure Appl. Algebra"},{"key":"11_CR33","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1090\/S0002-9947-1937-1501905-7","volume":"41","author":"M Stone","year":"1937","unstructured":"Stone, M.: Applications of the theory of boolean rings to general topology. Trans. Am. Math. Soc. 41, 375\u2013481 (1937)","journal-title":"Trans. Am. Math. Soc."},{"issue":"1","key":"11_CR34","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/BF02485261","volume":"5","author":"W Taylor","year":"1975","unstructured":"Taylor, W.: The fine spectrum of a variety. Algebra Universalis 5(1), 263\u2013303 (1975)","journal-title":"Algebra Universalis"},{"key":"11_CR35","doi-asserted-by":"crossref","unstructured":"Valota, D.: Spectra of G\u00f6del Algebras (2018, Submitted manuscript)","DOI":"10.1007\/978-3-662-59565-7_15"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-02149-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,25]],"date-time":"2019-10-25T11:06:52Z","timestamp":1572001612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-02149-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030021481","9783030021498"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-02149-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"RAMiCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Relational and Algebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Groningen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ramics2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ramics-conference.org\/","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"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"30","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"21","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"70% - 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"}},{"value":"4.06","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"4.17","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"1 full invited talk","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}