{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:10:40Z","timestamp":1759032640597,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319953113"},{"type":"electronic","value":"9783319953120"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-95312-0_27","type":"book-chapter","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T09:33:47Z","timestamp":1530610427000},"page":"314-323","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The Category of Semi-BCI Algebras"],"prefix":"10.1007","author":[{"given":"Jocivania","family":"Pinheiro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rui","family":"Paiva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Regivan","family":"Santiago","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,4]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"Awodey, S.: Category theory. Oxford logic guides, vol. 49. Oxford University Press (2006)","DOI":"10.1093\/acprof:oso\/9780198568612.001.0001"},{"key":"27_CR2","volume-title":"Algebras of Logic as BCK Algebras","author":"A Iorgulescu","year":"2008","unstructured":"Iorgulescu, A.: Algebras of Logic as BCK Algebras. Academy of Economic Studies Press, Bucharest (2008)"},{"key":"27_CR3","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1016\/j.ins.2012.09.022","volume":"221","author":"BC Bedregal","year":"2013","unstructured":"Bedregal, B.C., Santiago, R.H.N.: Interval representations, \u0141ukasiewicz implicators and Smets-Magrez axioms. Inf. Sci. 221, 192\u2013200 (2013)","journal-title":"Inf. Sci."},{"key":"27_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542725","volume-title":"Continuous Lattices and Domains. Encyclopedia of Mathematics and its Applications","author":"G Gierz","year":"2003","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains. Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge (2003)"},{"key":"27_CR5","first-page":"461","volume":"19","author":"G Dymek","year":"2012","unstructured":"Dymek, G.: p-Semisimple pseudo-BCI-algebras. J. Multiple-Valued Log. Soft Comput. 19, 461\u2013474 (2012)","journal-title":"J. Multiple-Valued Log. Soft Comput."},{"key":"27_CR6","series-title":"Discrete Mathematics and Theoretical Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-1-4471-0717-0_9","volume-title":"Combinatorics, Computability and Logic","author":"G Georgescu","year":"2001","unstructured":"Georgescu, G., Iorgulescu, A.: Pseudo-BCK algebras: an extension of BCK algebras. In: Calude, C.S., Dinneen, M.J., Sburlan, S. (eds.) Combinatorics, Computability and Logic. DMTCS, pp. 97\u2013114. Springer, London (2001). https:\/\/doi.org\/10.1007\/978-1-4471-0717-0_9"},{"issue":"4","key":"27_CR7","first-page":"631","volume":"46","author":"G Dymek","year":"2013","unstructured":"Dymek, G.: On the category of pseudo-BCI-algebras. Demonstr. Math. 46(4), 631\u2013644 (2013)","journal-title":"Demonstr. Math."},{"key":"27_CR8","doi-asserted-by":"publisher","first-page":"41","DOI":"10.2478\/s11533-010-0041-4","volume":"8","author":"D Busneag","year":"2010","unstructured":"Busneag, D., Ghita, M.: Some properties of epimorphisms of Hilbert algebras. Open Math. 8, 41\u201352 (2010)","journal-title":"Open Math."},{"key":"27_CR9","first-page":"187","volume":"24","author":"WA Dudek","year":"2008","unstructured":"Dudek, W.A., Jun, Y.B.: Pseudo-BCI algebras. East Asian Math. J. 24, 187\u2013190 (2008)","journal-title":"East Asian Math. J."},{"key":"27_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","volume-title":"Basic Category Theory for Computer Scientists","author":"BC Pierce","year":"1991","unstructured":"Pierce, B.C.: Basic Category Theory for Computer Scientists. MIT Press, Cambridge (1991)"},{"key":"27_CR11","doi-asserted-by":"publisher","first-page":"217","DOI":"10.7151\/dmgaa.1184","volume":"31","author":"G Dymek","year":"2011","unstructured":"Dymek, G.: On two classes of pseudo-BCI-algebras. Discuss. Math. Gen. Algebra Appl. 31, 217\u2013229 (2011)","journal-title":"Discuss. Math. Gen. Algebra Appl."},{"key":"27_CR12","volume-title":"Topoi: The Categorial Analysis of Logic","author":"R Goldblatt","year":"1986","unstructured":"Goldblatt, R.: Topoi: The Categorial Analysis of Logic. Elsevier Science, Amsterdam (1986)"},{"issue":"2","key":"27_CR13","first-page":"243","volume":"66","author":"J Shohani","year":"2007","unstructured":"Shohani, J., Borzooei, R.A., Jahanshahi, M.A.: Basic BCI-algebras and Abelian groups are equivalent. Sci. Math. Jpn. 66(2), 243\u2013245 (2007)","journal-title":"Sci. Math. Jpn."},{"key":"27_CR14","first-page":"693","volume":"32","author":"J Meng","year":"1987","unstructured":"Meng, J.: BCI-algebras and Abelian groups. Math. Jpn. 32, 693\u2013696 (1987)","journal-title":"Math. Jpn."},{"issue":"1","key":"27_CR15","doi-asserted-by":"publisher","first-page":"26","DOI":"10.3792\/pja\/1195522171","volume":"42","author":"K Is\u00e9ki","year":"1966","unstructured":"Is\u00e9ki, K.: An algebra related with a propositional calculus. Proc. Jpn. Acad. 42(1), 26\u201329 (1966)","journal-title":"Proc. Jpn. Acad."},{"key":"27_CR16","volume-title":"BCI-Algebra","author":"YS Huang","year":"2006","unstructured":"Huang, Y.S.: BCI-Algebra. Science Press, Beijing (2006)"},{"key":"27_CR17","unstructured":"Santiago, R.H.N., Bedregal, B., Marcos, J., Caleiro, C., Pinheiro, J.: Semi-BCI Algebras. arXiv:1803.04808 [cs.LO] (2018)"}],"container-title":["Communications in Computer and Information Science","Fuzzy Information Processing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-95312-0_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T15:12:52Z","timestamp":1710342772000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-95312-0_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319953113","9783319953120"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-95312-0_27","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"4 July 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NAFIPS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"North American Fuzzy Information Processing Society Annual Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Fortaleza","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","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":"4 July 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 July 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nafips2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/nafips2018.wordpress.com\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}