{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:11:30Z","timestamp":1759032690801},"reference-count":83,"publisher":"Springer Science and Business Media LLC","issue":"9","license":[{"start":{"date-parts":[[2007,10,6]],"date-time":"2007-10-06T00:00:00Z","timestamp":1191628800000},"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":[[2008,7]]},"DOI":"10.1007\/s00500-007-0239-y","type":"journal-article","created":{"date-parts":[[2007,10,5]],"date-time":"2007-10-05T08:24:46Z","timestamp":1191572686000},"page":"835-856","source":"Crossref","is-referenced-by-count":8,"title":["On BCK algebras: Part II: New algebras. The ordinal sum (product) of two bounded BCK algebras"],"prefix":"10.1007","volume":"12","author":[{"given":"Afrodita","family":"Iorgulescu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,10,6]]},"reference":[{"key":"239_CR1","unstructured":"Agliano P, Ferreirim IMA, Montagna F Basic hoops: an algebraic study of continuous t-norms, submitted"},{"key":"239_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-2871-8","volume-title":"Lattice-ordered groups\u2014an introduction","author":"M Andersen","year":"1988","unstructured":"Andersen M and Feil T (1988). Lattice-ordered groups\u2014an introduction. D. Reidel Publishing Company, Dordrecht"},{"key":"239_CR3","doi-asserted-by":"crossref","first-page":"105","DOI":"10.3792\/pja\/1195522126","volume":"42","author":"Y Arai","year":"1966","unstructured":"Arai Y, Is\u00e9ki K and Tanaka S (1966). Characterizations of BCI, BCK-algebras. Proc Jpn Acad 42: 105\u2013107","journal-title":"Proc Jpn Acad"},{"key":"239_CR4","volume-title":"Distributive lattices","author":"R Balbes","year":"1974","unstructured":"Balbes R and Dwinger P (1974). Distributive lattices. Univ. Missouri Press, Missouri"},{"key":"239_CR5","volume-title":"Lattice theory, 3rd edn","author":"G Birkhoff","year":"1967","unstructured":"Birkhoff G (1967). Lattice theory, 3rd edn. American Mathematical Society, Providence"},{"key":"239_CR6","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1006\/jabr.1996.6834","volume":"190","author":"WJ Blok","year":"1997","unstructured":"Blok WJ and Raftery JG (1997). Varieties of commutative residuated integral pomonoids and their residuation subreducts. J Algebra 190: 280\u2013328","journal-title":"J Algebra"},{"key":"239_CR7","unstructured":"Blok WJ, Ferreirim IMA (2007) On the algebra of hoops. Algebra universalis (to appear)"},{"key":"239_CR8","unstructured":"Boicescu V, Filipoiu A, Georgescu G, Rudeanu S (1991) Lukasiewicz\u2013Moisil algebras. Annals of discrete mathematics, vol 49. North-Holland, Amsterdam"},{"key":"239_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A course in universal algebra","author":"S Burris","year":"1981","unstructured":"Burris S and Sankappanavar HP (1981). A course in universal algebra. Springer, Heidelberg"},{"key":"239_CR10","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","volume":"88","author":"CC Chang","year":"1958","unstructured":"Chang CC (1958). Algebraic analysis of many valued logics. Trans Am Math Soc 88: 467\u2013490","journal-title":"Trans Am Math Soc"},{"key":"239_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9480-6","volume-title":"Algebraic foundations of many-valued reasoning, vol 7","author":"R Cignoli","year":"2000","unstructured":"Cignoli R, D\u2019Ottaviano IML and Mundici D (2000). Algebraic foundations of many-valued reasoning, vol 7. Kluwer, Dordrecht"},{"key":"239_CR12","unstructured":"Cignoli R, Esteva F, Godo L, Torrens A (2007) Basic fuzzy Logic is the logic of continuous t-norms and their residua. Soft Comput (to appear)"},{"issue":"4","key":"239_CR13","first-page":"471","volume":"25","author":"WH Cornish","year":"1980","unstructured":"Cornish WH (1980). Lattice-ordered groups and BCK-algebras. Math Japonica 25(4): 471\u2013476","journal-title":"Math Japonica"},{"issue":"1","key":"239_CR14","first-page":"63","volume":"27","author":"WH Cornish","year":"1982","unstructured":"Cornish WH (1982). BCK-algebras with a supremum. Math Japonica 27(1): 63\u201373","journal-title":"Math Japonica"},{"key":"239_CR15","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1090\/S0002-9947-1939-0000230-5","volume":"46","author":"RP Dilworth","year":"1939","unstructured":"Dilworth RP (1939). Non-commutative residuated lattices. Trans Am Math Soc 46: 426\u2013444","journal-title":"Trans Am Math Soc"},{"issue":"5\u20136","key":"239_CR16","first-page":"673","volume":"8","author":"A Di Nola","year":"2002","unstructured":"Di Nola A, Georgescu G and Iorgulescu A (2002). Pseudo-BL algebras: Part I. Multi Val Logic 8(5\u20136): 673\u2013714","journal-title":"Multi Val Logic"},{"issue":"5\u20136","key":"239_CR17","first-page":"717","volume":"8","author":"A Di Nola","year":"2002","unstructured":"Di Nola A, Georgescu G and Iorgulescu A (2002). Pseudo-BL algebras: Part II. Multi Val Logic 8(5\u20136): 717\u2013750","journal-title":"Multi Val Logic"},{"key":"239_CR18","first-page":"25","volume":"31","author":"WA Dudek","year":"1986","unstructured":"Dudek WA (1986). On some BCI-algebras with the condition (S). Math Japonica 31: 25\u201329","journal-title":"Math Japonica"},{"key":"239_CR19","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1515\/dema-1999-0202","volume":"32","author":"A Dvure\u010denskij","year":"1999","unstructured":"Dvure\u010denskij A and Graziano MG (1999). On representations of commutative BCK-algebras. Demonstration Math 32: 227\u2013246","journal-title":"Demonstration Math"},{"key":"239_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2422-7","volume-title":"New trends in quantum algebras","author":"A Dvure\u010denskij","year":"2000","unstructured":"Dvure\u010denskij A and Pulmanov\u00e1 S (2000). New trends in quantum algebras. Kluwer, Dordrecht"},{"issue":"3","key":"239_CR21","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"F Esteva","year":"2001","unstructured":"Esteva F and Godo L (2001). Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124(3): 271\u2013288","journal-title":"Fuzzy Sets Syst"},{"key":"239_CR22","unstructured":"Esteva F, Godo L, H\u00e1jek P, Montagna F, Hoops and fuzzy logic. submitted"},{"issue":"5","key":"239_CR23","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/s005000100137","volume":"5","author":"P Flondor","year":"2001","unstructured":"Flondor P, Georgescu G and Iorgulescu A (2001). Pseudo-t-norms and pseudo-BL algebras. Soft Comput 5(5): 355\u2013371","journal-title":"Soft Comput"},{"key":"239_CR24","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0165-0114(94)00210-X","volume":"69","author":"JC Fodor","year":"1995","unstructured":"Fodor JC (1995). Contrapositive symmetry of fuzzy implications. Fuzzy Sets Syst 69: 141\u2013156","journal-title":"Fuzzy Sets Syst"},{"issue":"1","key":"239_CR25","first-page":"5","volume":"VIII","author":"JM Font","year":"1984","unstructured":"Font JM, Rodriguez AJ and Torrens A (1984). Wajsberg algebras. Stochastica VIII(1): 5\u201331","journal-title":"Stochastica"},{"key":"239_CR26","unstructured":"Georgescu G, Iorgulescu A, Pseudo-BL algebras: a noncommutative extension of BL algebras. Abstracts of the fifth international conference FSTA 2000, Slovakia, February 2000, pp 90\u201392"},{"key":"239_CR27","unstructured":"Gottwald S (1984) T-Normen und \u03c6-Operatoren als Wahrheitswertfunktionen mehrwertiger Junktoren. In: Wechsung G (ed) Frege Conference 1984, Proc. Intern. Conf. Schwerin Sept 10\u201314, Math. Research, vol 20. Akademie, Berlin, pp 121\u2013128"},{"key":"239_CR28","first-page":"143","volume-title":"The mathematics of fuzzy systems, Interdisciplinary Systems Res., vol 88.","author":"S Gottwald","year":"1986","unstructured":"Gottwald S (1986). Fuzzy set theory with t-norms and \u03c6-operators. In: Di Nola, A, Ventre, AGS (eds) The mathematics of fuzzy systems, Interdisciplinary Systems Res., vol 88., pp 143\u2013195. T\u00dcV Rheinland, K\u00f6ln"},{"key":"239_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-86812-1","volume-title":"Fuzzy sets and fuzzy logic","author":"S Gottwald","year":"1993","unstructured":"Gottwald S (1993). Fuzzy sets and fuzzy logic. Wiesbaden, Braunschweig"},{"key":"239_CR30","unstructured":"Gottwald S (2001) A treatise on many-valued logics. Studies in logic and computation, vol 9. Research Studies Press, Baldock"},{"key":"239_CR31","first-page":"81","volume-title":"Selected Papers on Lukasiewicz Sentential Calculi.","author":"R Grigolia","year":"1977","unstructured":"Grigolia R (1977). Algebraic analysis of Lukasiewicz\u2013Tarski\u2019s n-valued logical systems. In: W\u00f3jcicki, R and Malinowski, G (eds) Selected Papers on Lukasiewicz Sentential Calculi., pp 81\u201392. Polish Acad. of Sciences, Ossolineum, Wroclaw"},{"issue":"4","key":"239_CR32","first-page":"497","volume":"25","author":"A Grza\u015blewicz","year":"1980","unstructured":"Grza\u015blewicz A (1980). On some problem on BCK-algebras. Math Japonica 25(4): 497\u2013500","journal-title":"Math Japonica"},{"key":"239_CR33","unstructured":"H\u00e1jek P (1996) Metamathematics of fuzzy logic. Inst of Comp Science, Academy of Science of Czech Rep., Technical report, vol 682"},{"key":"239_CR34","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, Dordrecht"},{"key":"239_CR35","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/s005000050043","volume":"2","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P (1998). Basic fuzzy logic and BL-algebras. Soft comput 2: 124\u2013128","journal-title":"Soft comput"},{"key":"239_CR36","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF01268618","volume":"35","author":"P H\u00e1jek","year":"1996","unstructured":"H\u00e1jek P, Godo L and Esteva F (1996). A complete many-valued logic with product-conjunction. Arch Math Logic 35: 191\u2013208","journal-title":"Arch Math Logic"},{"key":"239_CR37","doi-asserted-by":"crossref","first-page":"395","DOI":"10.2307\/2270905","volume":"34","author":"A Horn","year":"1969","unstructured":"Horn A (1969). Logic with truth values in a linearly ordered Heyting algebra. J Symbolic Logic 34: 395\u2013408","journal-title":"J Symbolic Logic"},{"key":"239_CR38","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/978-94-011-0215-5_5","volume-title":"Non-classical logics and their applications to fuzzy subsets.","author":"U H\u00f6hle","year":"1995","unstructured":"H\u00f6hle U (1995). Commutative, residuated l-monoids. In: H\u00f6hle, U and Klement, EP (eds) Non-classical logics and their applications to fuzzy subsets., pp 53\u2013106. Kluwer, Dordrecht"},{"key":"239_CR39","first-page":"839","volume":"29","author":"PM Idziak","year":"1984","unstructured":"Idziak PM (1984). Lattice operations in BCK-algebras. Math Japonica 29: 839\u2013846","journal-title":"Math Japonica"},{"issue":"6","key":"239_CR40","first-page":"975","volume":"29","author":"PM Idziak","year":"1984","unstructured":"Idziak PM (1984). Filters and congruence relations in BCK\u2014semilattices. Math Japonica 29(6): 975\u2013980","journal-title":"Math Japonica"},{"key":"239_CR41","first-page":"19","volume":"42","author":"Y Imai","year":"1966","unstructured":"Imai Y and Is\u00e9ki K (1966). On axiom systems of propositional calculi XIV, Proc. Japan Acad 42: 19\u201322","journal-title":"Japan Acad"},{"issue":"7","key":"239_CR42","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/s00500-003-0304-0","volume":"8","author":"A Iorgulescu","year":"2004","unstructured":"Iorgulescu A (2004). Is\u00e9ki algebras. Connection with BL algebras. Soft Comput 8(7): 449\u2013463","journal-title":"Soft Comput"},{"issue":"3","key":"239_CR43","first-page":"583","volume":"57","author":"A Iorgulescu","year":"2003","unstructured":"Iorgulescu A (2003). Some direct ascendents of Wajsberg and MV algebras. Sci Math Japonicae 57(3): 583\u2013647","journal-title":"Sci Math Japonicae"},{"key":"239_CR44","unstructured":"Iorgulescu A (2004a) Classes of BCK algebras\u2014Part I, Preprint Series of the Institute of Mathematics of the Romanian Academy, preprint nr. 1\/2004, 1\u201333"},{"key":"239_CR45","unstructured":"Iorgulescu A (2004b) Classes of BCK algebras\u2014Part II, Preprint Series of the Institute of Mathematics of the Romanian Academy, preprint nr. 2\/2004, 1\u201327"},{"key":"239_CR46","unstructured":"Iorgulescu A (2004c) Classes of BCK algebras\u2014Part III, Preprint Series of the Institute of Mathematics of the Romanian Academy, preprint nr. 3\/2004, 1\u201337"},{"key":"239_CR47","unstructured":"Iorgulescu A (2004d) Classes of BCK algebras\u2014Part IV, Preprint Series of the Institute of Mathematics of the Romanian Academy, preprint nr. 4\/2004, 1\u201325"},{"key":"239_CR48","unstructured":"Iorgulescu A (2004e) Classes of BCK algebras\u2014Part V, Preprint Series of the Institute of Mathematics of the Romanian Academy, preprint nr. 5\/2004, 1\u201322"},{"key":"239_CR49","unstructured":"Iorgulescu A (2007) On BCK algebras\u2014Part I: An attempt to treat unitarily the algebras of logic. New algebras (submitted)"},{"key":"239_CR50","doi-asserted-by":"crossref","first-page":"26","DOI":"10.3792\/pja\/1195522171","volume":"42","author":"K Is\u00e9ki","year":"1966","unstructured":"Is\u00e9ki K (1966). An algebra related with a propositional calculus. Proc Japan Acad 42: 26\u201329","journal-title":"Proc Japan Acad"},{"key":"239_CR51","first-page":"191","volume":"5","author":"K Is\u00e9ki","year":"1977","unstructured":"Is\u00e9ki K (1977). A special class of BCK-algebras. Math Seminar Notes Kobe University 5: 191\u2013198","journal-title":"Math Seminar Notes Kobe University"},{"key":"239_CR52","first-page":"227","volume":"5","author":"K Is\u00e9ki","year":"1977","unstructured":"Is\u00e9ki K (1977). On a positive implicative algebra with condition (S). Math Seminar Notes Kobe University 5: 227\u2013232","journal-title":"Math Seminar Notes Kobe University"},{"issue":"1","key":"239_CR53","first-page":"107","volume":"24","author":"K Is\u00e9ki","year":"1979","unstructured":"Is\u00e9ki K (1979). BCK-Algebras with condition (S). Math Japonica 24(1): 107\u2013119","journal-title":"Math Japonica"},{"issue":"6","key":"239_CR54","first-page":"625","volume":"24","author":"K Is\u00e9ki","year":"1980","unstructured":"Is\u00e9ki K (1980). On BCK-algebras with condition (S). Math Japonica 24(6): 625\u2013626","journal-title":"Math Japonica"},{"key":"239_CR55","first-page":"171","volume":"8","author":"K Is\u00e9ki","year":"1980","unstructured":"Is\u00e9ki K (1980). On BCI-algebras with condition (S). Math Semin Notes 8: 171\u2013172","journal-title":"Math Semin Notes"},{"issue":"1","key":"239_CR56","first-page":"1","volume":"23","author":"K Is\u00e9ki","year":"1978","unstructured":"Is\u00e9ki K and Tanaka S (1978). An introduction to the theory of BCK- algebras. Math Japonica 23(1): 1\u201326","journal-title":"Math Japonica"},{"key":"239_CR57","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","volume":"87","author":"J Kalman","year":"1958","unstructured":"Kalman J (1958). Lattices with involution. Trans Am Math Soc 87: 485\u2013491","journal-title":"Trans Am Math Soc"},{"key":"239_CR58","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9540-7","volume-title":"Triangular norms","author":"EP Klement","year":"2000","unstructured":"Klement EP, Mesiar R and Pap E (2000). Triangular norms. Kluwer, Dordrecht"},{"key":"239_CR59","first-page":"325","volume":"13","author":"M Kondo","year":"2004","unstructured":"Kondo M and Dudek WA (2004). Characterization theorem of lattice implication algebras. Far East J Math Sci 13: 325\u2013342","journal-title":"Far East J Math Sci"},{"key":"239_CR60","unstructured":"Kowalski T, Ono H (2001)Residuated lattices: an algebraic glimpse at logics without contraction. Monograph"},{"key":"239_CR61","unstructured":"Krull W (1924) Axiomatische Begr\u00fcndung der allgemeinen Idealtheorie, Sitzungsberichte der physikalisch medizinischen Societ\u00e4t der Erlangen 56:47\u201363"},{"key":"239_CR62","unstructured":"Lin Y-H (2002) Some properties on commutative BCK-algebras. Sci Math Japonicae 55(1):129\u2013133, :e5, 235\u2013239"},{"issue":"4","key":"239_CR63","first-page":"68","volume":"8","author":"P Mangani","year":"1973","unstructured":"Mangani P (1973). On certain algebras related to many-valued logics (Italian). Boll Un Mat Ital 8(4): 68\u201378","journal-title":"Boll Un Mat Ital"},{"key":"239_CR64","unstructured":"Moisil GrC (1972) Essais sur les logiques non-chryssippiennes. Bucarest,"},{"key":"239_CR65","first-page":"1","volume":"22","author":"GrC Moisil","year":"1935","unstructured":"Moisil GrC (1935). Recherches sur l\u2019alg\u00e9bre de la logique. Ann Sci Univ Jassy 22: 1\u2013117","journal-title":"Ann Sci Univ Jassy"},{"key":"239_CR66","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1305\/ndjfl\/1093894076","volume":"11","author":"L Monteiro","year":"1970","unstructured":"Monteiro L (1970). Les alg\u00e9bres de Heyting et de \u0141ukasiewicz trivalentes. Notre Dame J Formal Logic 11: 453\u2013466","journal-title":"Notre Dame J Formal Logic"},{"issue":"6","key":"239_CR67","first-page":"889","volume":"31","author":"D Mundici","year":"1986","unstructured":"Mundici D (1986). MV-algebras are categorically equivalent to bounded commutative BCK-algebras. Math Japonica 31(6): 889\u2013894","journal-title":"Math Japonica"},{"key":"239_CR68","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0022-1236(86)90015-7","volume":"65","author":"D Mundici","year":"1986","unstructured":"Mundici D (1986). Interpretation of AF C *-algebras in Lukasiewicz sentential calculus. J Funct Anal 65: 15\u201363","journal-title":"J Funct Anal"},{"key":"239_CR69","doi-asserted-by":"crossref","first-page":"790","DOI":"10.2307\/2586501","volume":"64","author":"M Okada","year":"1999","unstructured":"Okada M and Terui K (1999). The finite model property for various fragments of intuitionistic logic. J Symbolic Logic 64: 790\u2013802","journal-title":"J Symbolic Logic"},{"key":"239_CR70","doi-asserted-by":"crossref","first-page":"169","DOI":"10.2307\/2273798","volume":"50","author":"H Ono","year":"1985","unstructured":"Ono H and Komori Y (1985). Logics without the contraction rule. J Symbolic Logic 50: 169\u2013201","journal-title":"J Symbolic Logic"},{"key":"239_CR71","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1002\/malq.19790250706","volume":"25","author":"J Pavelka","year":"1979","unstructured":"Pavelka J (1979). On fuzzy logic II. Enriched residuated lattices and semantics of propositional calculi. Zeitschrift Math Logik Grundlagen Math 25: 119\u2013134","journal-title":"Zeitschrift Math Logik Grundlagen Math"},{"key":"239_CR72","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0165-0114(02)00382-2","volume":"138","author":"D Pei","year":"2003","unstructured":"Pei D (2003). On equivalent forms of fuzzy logic systems NM and IMTL. Fuzzy Sets Syst 138: 187\u2013195","journal-title":"Fuzzy Sets Syst"},{"key":"239_CR73","volume-title":"Formal logic, 2nd edn","author":"AN Prior","year":"1962","unstructured":"Prior AN (1962). Formal logic, 2nd edn. Clarendon Press, Oxford"},{"issue":"5","key":"239_CR74","first-page":"567","volume":"25","author":"A Romanowska","year":"1980","unstructured":"Romanowska A and Traczyk T (1980). On commutative BCK-algebras. Math Japonica 25(5): 567\u2013583","journal-title":"Math Japonica"},{"issue":"3","key":"239_CR75","first-page":"283","volume":"24","author":"T Traczyk","year":"1979","unstructured":"Traczyk T (1979). On the variety of bounded commutative BCK- algebras. Math Japonica 24(3): 283\u2013292","journal-title":"Math Japonica"},{"key":"239_CR76","first-page":"49","volume":"6","author":"E Turunen","year":"1999","unstructured":"Turunen E (1999). BL-algebras of basic fuzzy logic. Mathware Soft Comput 6: 49\u201361","journal-title":"Mathware Soft Comput"},{"key":"239_CR77","volume-title":"Mathematics behind fuzzy logic","author":"E Turunen","year":"1999","unstructured":"Turunen E (1999). Mathematics behind fuzzy logic. Physica, Heidelberg"},{"key":"239_CR78","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/s000120050116","volume":"41","author":"CJ Van Alten","year":"1999","unstructured":"Van Alten CJ and Raftery JG (1999). On the lattice of varieties of residuation algebras. Algebra universalis 41: 283\u2013315","journal-title":"Algebra universalis"},{"key":"239_CR79","first-page":"240","volume":"42","author":"M Wajsberg","year":"1935","unstructured":"Wajsberg M (1935). Beitr\u00e4ge zum Mataaussagenkalk\u00fcl. Monat Math Phys 42: 240","journal-title":"Monat Math Phys"},{"key":"239_CR80","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1215\/S0012-7094-40-00649-4","volume":"6","author":"M Ward","year":"1940","unstructured":"Ward M (1940). Residuated distributive lattices. Duke Math J 6: 641\u2013651","journal-title":"Duke Math J"},{"key":"239_CR81","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1090\/S0002-9947-1939-1501995-3","volume":"45","author":"M Ward","year":"1939","unstructured":"Ward M and Dilworth RP (1939). Residuated lattices. Trans Am Math Soc 45: 335\u2013354","journal-title":"Trans Am Math Soc"},{"key":"239_CR82","doi-asserted-by":"crossref","first-page":"1521","DOI":"10.1007\/BF02882922","volume":"42","author":"GJ Wang","year":"1997","unstructured":"Wang GJ (1997). A formal deductive system for fuzzy propositional calculus. Chin Sci Bull 42: 1521\u20131526","journal-title":"Chin Sci Bull"},{"issue":"2","key":"239_CR83","first-page":"187","volume":"30","author":"A Wronski","year":"1985","unstructured":"Wronski A (1985). An algebraic motivation for BCK-algebras. Math Japonica 30(2): 187\u2013193","journal-title":"Math Japonica"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-007-0239-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-007-0239-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-007-0239-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,25]],"date-time":"2021-08-25T06:42:44Z","timestamp":1629873764000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-007-0239-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,6]]},"references-count":83,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2008,7]]}},"alternative-id":["239"],"URL":"https:\/\/doi.org\/10.1007\/s00500-007-0239-y","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10,6]]}}}