{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T09:06:45Z","timestamp":1751879205031},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bf00370678","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T20:04:35Z","timestamp":1099425875000},"page":"375-384","source":"Crossref","is-referenced-by-count":17,"title":["Complete and atomic algebras of the infinite valued ?ukasiewicz logic"],"prefix":"10.1007","volume":"50","author":[{"given":"Roberto","family":"Cignoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"1356","DOI":"10.4153\/CJM-1986-069-0","volume":"38","author":"L. P. Belluce","year":"1986","unstructured":"L. P. Belluce, Semisimple algebras of infinite valued logic, Canadian Journal of Mathematics 38 (1986), pp. 1356?1379.","journal-title":"Canadian Journal of Mathematics"},{"key":"CR2","volume-title":"Lattice Theory","author":"G. Birkhoff","year":"1967","unstructured":"G. Birkhoff, Lattice Theory, 3rd. edition, American Mathematical Society, Providence, R. L., 1967.","edition":"3rd. edition"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","volume":"88","author":"C. C. Chang","year":"1958","unstructured":"C. C. Chang, Algebraic analysis of many-valued logics, Transactions of the American Mathematical Society 88 (1958), pp. 467?490.","journal-title":"Transactions of the American Mathematical Society"},{"key":"CR4","first-page":"74","volume":"93","author":"C. C. Chang","year":"1959","unstructured":"C. C. Chang, A new proof of the completeness of the ?ukasiewicz axioms, Transactions of the American Mathematical Society 93 (1959), pp. 74?80.","journal-title":"Transactions of the American Mathematical Society"},{"key":"CR5","first-page":"5","volume":"8","author":"J. M. Font","year":"1984","unstructured":"J. M. Font, A. J. Rodriguez and A. Torrens, Wajsberg algebras, Stochastica 8 (1984), pp. 5?31.","journal-title":"Stochastica"},{"key":"CR6","first-page":"1","volume":"23","author":"K. Iseki","year":"1978","unstructured":"K. Iseki and S. Tanaka, An introduction to the theory of BCK-algebras, Mathematica Japonica 23 (1978), pp. 1?26.","journal-title":"Mathematica Japonica"},{"key":"CR7","first-page":"1","volume":"12","author":"Y. Komori","year":"1978","unstructured":"Y. Komori, The separation theorem of the ?0-valued ?ukasiewicz propositional logic, Reports of the Faculty of Sciences, Shizuoka University 12 (1978), pp. 1?5.","journal-title":"Reports of the Faculty of Sciences, Shizuoka University"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1017\/S0027763000019577","volume":"84","author":"Y. Komori","year":"1981","unstructured":"Y. Komori, Super ?ukasiewicz propositional logics, Nagoya Mathematical Journal 84 (1981), pp. 119?133.","journal-title":"Nagoya Mathematical Journal"},{"key":"CR9","first-page":"360","volume":"16","author":"F. Lacava","year":"1979","unstructured":"F. Lacava, Alcune propriet\u00e1 delle ?-algebre e delle ?-algebre esistenzialmente chiuse, Bolletino Unione Matemtica Italiana A(5), 16 (1979), pp. 360?366.","journal-title":"Bolletino Unione Matemtica Italiana A(5)"},{"key":"CR10","first-page":"68","volume":"8","author":"P. Mangani","year":"1973","unstructured":"P. Mangani, Su certe algebre connesse con logiche a pi\u00fa valori, Bolletino Unione Matematica Italiana (4) 8 (1973), pp. 68?78.","journal-title":"Bolletino Unione Matematica Italiana (4)"},{"key":"CR11","first-page":"1","volume":"39","author":"A. Monteiro","year":"1984","unstructured":"A. Monteiro, Sur les alg\u00e8bres de Heyting sim\u00e9triques, Portugalia Mathematica 39 (1984), pp. 1?237.","journal-title":"Portugalia Mathematica"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0022-1236(86)90015-7","volume":"65","author":"D. Mundici","year":"1985","unstructured":"D. Mundici, Interpretation of AFC *-algebras in ?ukasiewicz sentential calculus, Journal of Functional Analysis 65 (1985), pp. 15?63.","journal-title":"Journal of Functional Analysis"},{"key":"CR13","first-page":"889","volume":"31","author":"D. Mundici","year":"1986","unstructured":"D. Mundici, MV-algebras are categorically equivalent to bounded commutative BCK-algebras, Mathematica Japonica 31 (1986), pp. 889?894.","journal-title":"Mathematica Japonica"},{"key":"CR14","unstructured":"A. J. Rodr\u00edguez, Un estudio algebraico de los c\u00e1lculos proposicionales de ?ukasiewicz, Tesis Doctoral, Universidad de Barcelona, 1980."},{"key":"CR15","first-page":"567","volume":"25","author":"A. Romanowska","year":"1980","unstructured":"A. Romanowska and T. Traczyk, On commutative BCK-algebras, Mathematica Japonica 25 (1980), pp. 567?583.","journal-title":"Mathematica Japonica"},{"key":"CR16","first-page":"35","volume":"27","author":"A. Romanowska","year":"1982","unstructured":"A. Romanowska and T. Traczyk, Commutative BCK-algebras. Subdirectly irreducible algebras and varieties, Mathematica Japonica 27 (1982), pp. 35?48.","journal-title":"Mathematica Japonica"},{"key":"CR17","volume-title":"Logic, Semantics, Metamathematics","author":"A. Tarski","year":"1950","unstructured":"A. Tarski, Logic, Semantics, Metamathematics, Clarendon Press, Oxford, 1950."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/BF00372551","volume":"46","author":"A. Torrens","year":"1987","unstructured":"A. Torrens, W-algebras which are Boolean products of members of SR[1] and CW-algebras, Studia Logica 46 (1987), pp. 263?272.","journal-title":"Studia Logica"},{"key":"CR19","first-page":"31","volume":"23","author":"A. Torrens","year":"1989","unstructured":"A. Torrens, Boolean products of CW-algebras and pseudo-commplementation, Reports on Mathematical Logic 23 (1989), pp. 31?38.","journal-title":"Reports on Mathematical Logic"},{"key":"CR20","first-page":"238","volume":"24","author":"T. Traczyk","year":"1979","unstructured":"T. Traczyk, On the variety of bounded commutative BCK-algebras, Mathematica Japonica 24 (1979), pp. 238?292.","journal-title":"Mathematica Japonica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370678.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370678\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370678","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T21:44:14Z","timestamp":1554759854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370678"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"references-count":20,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1991]]}},"alternative-id":["BF00370678"],"URL":"https:\/\/doi.org\/10.1007\/bf00370678","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}