{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T12:28:21Z","timestamp":1773145701381,"version":"3.50.1"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T00:00:00Z","timestamp":1180569600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2007,10,29]]},"DOI":"10.1007\/s00500-007-0185-8","type":"journal-article","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T13:45:13Z","timestamp":1180532713000},"page":"341-352","source":"Crossref","is-referenced-by-count":23,"title":["On some properties of quasi-MV algebras and $$\\sqrt{^{\\prime}}$$ quasi-MV algebras. Part II"],"prefix":"10.1007","volume":"12","author":[{"given":"F\u00e9lix","family":"Bou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Paoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Ledda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hector","family":"Freytes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,5,31]]},"reference":[{"key":"185_CR1","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/s000120050020","volume":"37","author":"P Aglian\u00f2","year":"1997","unstructured":"Aglian\u00f2 P, Ursini A (1997) On subtractive varieties III. Algebra Universalis 37:296\u2013333","journal-title":"Algebra Universalis"},{"key":"185_CR2","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s000120050156","volume":"43","author":"WJ Blok","year":"2000","unstructured":"Blok WJ, Ferreirim IMA (2000) On the structure of hoops. Algebra Universalis 43:233\u2013257","journal-title":"Algebra Universalis"},{"key":"185_CR3","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/BF01182089","volume":"34","author":"I Chajda","year":"1995","unstructured":"Chajda I (1995) Normally presented varieties. Algebra Universalis 34:327\u2013335","journal-title":"Algebra Universalis"},{"key":"185_CR4","volume-title":"Algebraic foundations of many-valued reasoning","author":"R Cignoli","year":"1999","unstructured":"Cignoli R, D\u2019Ottaviano IML, Mundici D (1999) Algebraic foundations of many-valued reasoning. Kluwer, Dordrecht"},{"issue":"2","key":"185_CR5","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1006\/jabr.1999.7900","volume":"221","author":"A Di Nola","year":"1999","unstructured":"Di Nola A, Lettieri A (1999) Equational characterization of all varieties of MV algebras. J Algebra 221(2):463\u2013474","journal-title":"J Algebra"},{"issue":"2","key":"185_CR6","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/s00012-004-1870-4","volume":"52","author":"N Galatos","year":"2005","unstructured":"Galatos N (2005) Minimal varieties of residuated lattices. Algebra Universalis 52(2):215\u2013239","journal-title":"Algebra Universalis"},{"key":"185_CR7","doi-asserted-by":"crossref","unstructured":"Giuntini R, Ledda A, Paoli F (2007) Expanding quasi-MV algebras by a quantum operator. Studia Logica (in press)","DOI":"10.1007\/s11225-007-9079-0"},{"key":"185_CR8","doi-asserted-by":"crossref","first-page":"603","DOI":"10.4153\/CMB-1973-100-4","volume":"16","author":"G Gr\u00e4tzer","year":"1973","unstructured":"Gr\u00e4tzer G, Lakser H (1973) A note on the implicational class generated by a class of structures. Can Math Bull 16:603\u2013605","journal-title":"Can Math Bull"},{"key":"185_CR9","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF01191491","volume":"19","author":"HP Gumm","year":"1984","unstructured":"Gumm HP, Ursini A (1984) Ideals in universal algebra. Algebra Universalis 19:45\u201354","journal-title":"Algebra Universalis"},{"key":"185_CR10","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1017\/S0027763000019577","volume":"84","author":"Y Komori","year":"1981","unstructured":"Komori Y (1981) Super \u0141ukasiewicz propositional logics. Nagoya Math J 84:119\u2013133","journal-title":"Nagoya Math J"},{"key":"185_CR11","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/s000120050187","volume":"44","author":"T Kowalski","year":"2000","unstructured":"Kowalski T, Ono H (2000) Splittings in the variety of residuated lattices. Algebra Universalis 44:283\u2013298","journal-title":"Algebra Universalis"},{"issue":"2","key":"185_CR12","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/s11225-006-7202-2","volume":"82","author":"A Ledda","year":"2006","unstructured":"Ledda A, Konig M, Paoli F, Giuntini R (2006) MV algebras and quantum computation. Studia Logica 82(2):245\u2013270","journal-title":"Studia Logica"},{"issue":"6","key":"185_CR13","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1093\/jigpal\/12.6.461","volume":"12","author":"R Lewin","year":"2004","unstructured":"Lewin R, Sagastume M, Massey P (2004) MV* algebras. Logic J IGPL 12(6):461\u2013483","journal-title":"Logic J IGPL"},{"issue":"2","key":"185_CR14","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF01190927","volume":"33","author":"P Lipparini","year":"1995","unstructured":"Lipparini P (1995) n-Permutable varieties satisfy nontrivial congruence identities. Algebra Universalis 33(2):159\u2013168","journal-title":"Algebra Universalis"},{"key":"185_CR15","volume-title":"Algebras, lattices, varieties","author":"R McKenzie","year":"1987","unstructured":"McKenzie R, McNulty GF, Taylor WF (1987) Algebras, lattices, varieties. Wadsworth & Brooks-Cole, Monterey"},{"key":"185_CR16","first-page":"279","volume":"32","author":"D Mundici","year":"1987","unstructured":"Mundici D (1987) Bounded commutative BCK algebras have the amalgamation property. Math Jpn 32:279\u2013282","journal-title":"Math Jpn"},{"key":"185_CR17","unstructured":"Paoli F, Ledda A, Giuntini R, Freytes H (submitted)On some properties of QMV algebras and $$\\sqrt{^{\\prime}}$$ QMV algebras (submitted) downloadable from http:\/\/www.scform.unica.it\/pub\/docenti\/116\/show.jsp?id=249&iso=563&is=116 &id_corso=38"},{"issue":"3","key":"185_CR18","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1145\/772062.772067","volume":"4","author":"A Salibra","year":"2003","unstructured":"Salibra A (2003) Topological incompleteness and order incompleteness in lambda calculus. ACM Trans Comput Logic 4(3):379\u2013401","journal-title":"ACM Trans Comput Logic"},{"key":"185_CR19","unstructured":"Spinks M (2003) Contributions to the theory of Pre-BCK Algebras. PhD Thesis, Monash University"},{"key":"185_CR20","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/BF01236518","volume":"31","author":"A Ursini","year":"1994","unstructured":"Ursini A (1994) On subtractive varieties I. Algebra Universalis 31: 204\u2013222","journal-title":"Algebra Universalis"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-007-0185-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-007-0185-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-007-0185-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T01:39:51Z","timestamp":1559093991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-007-0185-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5,31]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,10,29]]}},"alternative-id":["185"],"URL":"https:\/\/doi.org\/10.1007\/s00500-007-0185-8","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,5,31]]}}}