{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T16:21:06Z","timestamp":1770222066816,"version":"3.49.0"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2014,10,21]],"date-time":"2014-10-21T00:00:00Z","timestamp":1413849600000},"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":["Soft Comput"],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s00500-014-1494-3","type":"journal-article","created":{"date-parts":[[2014,10,20]],"date-time":"2014-10-20T20:26:50Z","timestamp":1413836810000},"page":"939-953","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["Internal states on equality algebras"],"prefix":"10.1007","volume":"19","author":[{"given":"Lavinia Corina","family":"Ciungu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,10,21]]},"reference":[{"key":"1494_CR1","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1016\/j.fss.2013.12.007","volume":"244","author":"RA Borzooei","year":"2014","unstructured":"Borzooei RA, Dvure\u010denskij A, Zahiri O (2014) State BCK-algebras and state-morphism BCK-algebras. Fuzzy Sets Syst 244:86\u2013105","journal-title":"Fuzzy Sets Syst"},{"key":"1494_CR2","doi-asserted-by":"crossref","unstructured":"Bosbach B (1969) Komplement\u00e4re Halbgruppen. Axiomatik und Aritmetik. Fund Math 64:257\u2013287","DOI":"10.4064\/fm-64-3-257-287"},{"key":"1494_CR3","doi-asserted-by":"crossref","unstructured":"Bosbach B (1970) Komplement\u00e4re Halbgruppen. Kongruenzen and Quotienten. Fund Math 69:1\u201314","DOI":"10.4064\/fm-69-1-1-14"},{"key":"1494_CR4","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1007\/s00500-010-0571-5","volume":"15","author":"LC Ciungu","year":"2011","unstructured":"Ciungu LC, Dvure\u010denskij A, Hy\u010dko M (2011) State BL-algebras. Soft Comput 15:619\u2013634","journal-title":"Soft Comput"},{"key":"1494_CR5","doi-asserted-by":"crossref","first-page":"903","DOI":"10.2478\/s12175-013-0144-z","volume":"63","author":"LC Ciungu","year":"2013","unstructured":"Ciungu LC (2013) Bounded pseudo-hoops with internal states. Math Slovaca 63:903\u2013934","journal-title":"Math Slovaca"},{"key":"1494_CR6","doi-asserted-by":"crossref","unstructured":"Ciungu LC (2014a) On pseudo-equality algebras. Arch Math Logic 53:561\u2013570","DOI":"10.1007\/s00153-014-0380-0"},{"key":"1494_CR7","doi-asserted-by":"crossref","unstructured":"Ciungu LC (2014b) Non-commutative multiple-valued logic algebras, Springer, New York","DOI":"10.1007\/978-3-319-01589-7"},{"key":"1494_CR8","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/j.apal.2009.05.003","volume":"161","author":"A Nola Di","year":"2009","unstructured":"Di Nola A, Dvure\u010denskij A (2009) State-morphism MV-algebras. Ann Pure Appl Logic 161:161\u2013173","journal-title":"Ann Pure Appl Logic"},{"key":"1494_CR9","doi-asserted-by":"crossref","first-page":"1605","DOI":"10.1016\/j.apal.2010.06.004","volume":"161","author":"A Nola Di","year":"2010","unstructured":"Di Nola A, Dvure\u010denskij A, Lettieri A (2010) Erratum to the paper: \u201cState-morphism MV-algebras\u201d [Ann. Pure Appl. Logic 161(2009), 161\u2013173]. Ann Pure Appl Logic 161:1605\u20131607","journal-title":"Ann Pure Appl Logic"},{"key":"1494_CR10","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/s00153-010-0206-7","volume":"50","author":"A Dvure\u010denskij","year":"2011","unstructured":"Dvure\u010denskij A (2011) Subdirectly irreducible state-morphism BL-algebras. Arch Math Logic 50:145\u2013160","journal-title":"Arch Math Logic"},{"key":"1494_CR11","doi-asserted-by":"crossref","unstructured":"Dvure\u010denskij A, Rach\u016fnek J, \u0160alounov\u00e1 D (2012) State operators on generalizations of fuzzy structures. Fuzzy Sets Syst 187:58\u201376","DOI":"10.1016\/j.fss.2011.05.023"},{"key":"1494_CR12","doi-asserted-by":"crossref","unstructured":"Dvure\u010denskij A, Zahiri O (2014) Pseudo equality algebras-revision, submitted. arXiv:1405.5807 [math.AC]","DOI":"10.1007\/s00500-015-1888-x"},{"key":"1494_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.fss.2011.05.011","volume":"178","author":"M El-Zekey","year":"2011","unstructured":"El-Zekey M, Nov\u00e1k V, Mesiar R (2011) On good EQ-algebras. Fuzzy Sets Syst 178:1\u201323","journal-title":"Fuzzy Sets Syst"},{"key":"1494_CR14","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/j.ijar.2008.07.006","volume":"50","author":"T Flaminio","year":"2009","unstructured":"Flaminio T, Montagna F (2009) MV-algebras with internal states and probabilistic fuzzy logics. Int J Approx Reason 50:138\u2013152","journal-title":"Int J Approx Reason"},{"key":"1494_CR15","doi-asserted-by":"crossref","unstructured":"Georgescu G, Lorgulescu A (2001) Pseudo-BCK algebras: an extension of BCK-algebras. In: Proceedings of DMTCS\u201901: combinatorics, computability and logic. Springer, London, pp 97\u2013114","DOI":"10.1007\/978-1-4471-0717-0_9"},{"key":"1494_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of fuzzy logic","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P (1998) Metamathematics of fuzzy logic. Kluwer Academic Publishers, Dordrecht"},{"key":"1494_CR17","doi-asserted-by":"crossref","unstructured":"Imai Y, Is\u00e9ki K (1966) On axiom systems of propositional calculi. In: Proceedings of the Japan Academy XIV, vol 42. pp 19\u201322","DOI":"10.3792\/pja\/1195522169"},{"key":"1494_CR18","first-page":"71","volume":"12","author":"A Iorgulescu","year":"2006","unstructured":"Iorgulescu A (2006) Classes of pseudo-BCK algebras part I. J Mult Valued Logic Soft Comput 12:71\u2013130","journal-title":"J Mult Valued Logic Soft Comput"},{"key":"1494_CR19","unstructured":"Iorgulescu A (ed) (2008) Algebras of logic as BCK-algebras, ASE, Bucharest"},{"key":"1494_CR20","doi-asserted-by":"crossref","unstructured":"Jenei S (2012) Equality algebras. Studia Logica 100:1201\u20131209","DOI":"10.1007\/s11225-012-9457-0"},{"key":"1494_CR21","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1007\/s00153-013-0325-z","volume":"52","author":"S Jenei","year":"2013","unstructured":"Jenei S, K\u00f3r\u00f3di L (2013) Pseudo equality algebras. Arch Math Logic 52:469\u2013481","journal-title":"Arch Math Logic"},{"key":"1494_CR22","first-page":"495","volume":"40","author":"J K\u00fchr","year":"2007","unstructured":"K\u00fchr J (2007) Pseudo-BCK semilattices. Demonstr Math 40:495\u2013516","journal-title":"Demonstr Math"},{"key":"1494_CR23","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01053035","volume":"55","author":"D Mundici","year":"1995","unstructured":"Mundici D (1995) Averaging the truth-value in \u0141ukasiewicz sentential logic. Studia Logica 55:113\u2013127","journal-title":"Studia Logica"},{"key":"1494_CR24","doi-asserted-by":"crossref","unstructured":"Nov\u00e1k V (2005a) On fuzzy type theory. Fuzzy Sets Syst 149:235\u2013273","DOI":"10.1016\/j.fss.2004.03.027"},{"key":"1494_CR25","unstructured":"Nov\u00e1k V (2005b) Fuzzy type theory as high order fuzzy logic, In: Proceedings of InTech\u201905, Dec 14\u201316, 2005, Bangkok, Thailand, pp 21\u201326"},{"key":"1494_CR26","unstructured":"Nov\u00e1k V (2006) EQ-algebras: primary concepts and properties, In: Proceedings of Czech-Japan seminar, ninth meeting. Kitakyushu and Nagasaki, Graduate School of Information, Waseda University, 18\u201322 Aug 2006"},{"key":"1494_CR27","doi-asserted-by":"crossref","unstructured":"Nov\u00e1k V (2007) EQ-algebras in progress. In: Castillo (ed), Theoretical advances and applications of fuzzy logic and soft computing, Springer, Berlin, pp 876\u2013884","DOI":"10.1007\/978-3-540-72434-6_89"},{"key":"1494_CR28","unstructured":"Nov\u00e1k V (2008) Principal fuzzy type theories for fuzzy logic in broader sense. In: Proceedings of conference on IPMU\u20192008, University of M\u00e1laga, M\u00e1laga, Spain, pp 1045\u20131052"},{"key":"1494_CR29","doi-asserted-by":"crossref","first-page":"2956","DOI":"10.1016\/j.fss.2009.04.010","volume":"160","author":"V Nov\u00e1k","year":"2009","unstructured":"Nov\u00e1k V, De Baets B (2009) EQ-algebras. Fuzzy Sets Syst 160:2956\u20132978","journal-title":"Fuzzy Sets Syst"},{"key":"1494_CR30","doi-asserted-by":"crossref","unstructured":"Nov\u00e1k V (2011a) EQ-algebra-based fuzzy type theory and its extensions. Logic J IGPL 19:512\u2013542","DOI":"10.1093\/jigpal\/jzp087"},{"key":"1494_CR31","doi-asserted-by":"crossref","unstructured":"Nov\u00e1k V, Dyba M (2011b) EQ-logics: non-commutative fuzzy logics based on fuzzy equality. Fuzzy Sets Syst 172:13\u201332","DOI":"10.1016\/j.fss.2010.11.011"},{"key":"1494_CR32","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/s00500-010-0568-0","volume":"15","author":"J Rach\u016fnek","year":"2011","unstructured":"Rach\u016fnek J, \u0160alounov\u00e1 D (2011) State operators on GMV-algebras. Soft Comput 15:327\u2013334","journal-title":"Soft Comput"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-014-1494-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-014-1494-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-014-1494-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,20]],"date-time":"2022-04-20T05:08:51Z","timestamp":1650431331000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-014-1494-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,21]]},"references-count":32,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["1494"],"URL":"https:\/\/doi.org\/10.1007\/s00500-014-1494-3","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,10,21]]}}}