Registro:

Referencias:

• Abbott, J.C., Implicational algebras (1967) Bull. Math. Soc. Sci. Math. R. S. Roumanie, 11, pp. 3-23
• Birkhoff, G., (1967) Lattice Theory, 3rd Edition, , Amer. Math. Soc., Providence
• Blok, W.J., Ferreirim, I., On the structure of hoops (2000) Algebra Universalis, 43, pp. 233-257
• Blok, W.J., Pigozzi, D., Algebraizable logics (1989) Memoirs Amer. Math. Soc., 77 (396)
• Blok, W.J., Raftery, J.G., On the quasivariety of BCK-algebras and its subvarieties (1995) Algebra Universalis, 33, pp. 68-90
• Blok, W.J., Raftery, J.G., Varieties of commutative residuated integral pomonoids and their residuation subreducts (1997) J. Algebra, 190, pp. 280-328
• Bums, S., Sankappanavar, H.P., (1981) A Course in Universal Algebra, , Springer-Verlag, New York
• Caicedo, X., (2003) Implicit Connectives of Algebraizable Logic, , Manuscript May
• Caicedo, X., Cignoli, R., An algebraic approach to intuitionistic connectives (2001) J. Symbolic Logic, 66, pp. 1620-1636
• Cignoli, R., N-valued connectives (1999) Proceedings Fourth International Symposium on Economic Informatics, pp. 923-929. , Information Technology, May (I. Smeureanu and I. Rosca, eds.) (INFOREC Printing House, Bucharest 1999)
• Cignoli, R., D'Ottaviano, M.I., Mundici, D., (2000) Algebraic Foundations of Many-valued Reasoning, , Kluwer Academic Publ., Dordrecht
• Cignoli, R., Torrens, A., Free algebras in varieties of BL-algebras with a Boolean retract (2002) Algebra Universalis, 48, pp. 55-79
• Cignoli, R., Torrens, A., Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic (2003) Archiv Math. Logic, 42, pp. 361-370
• Esteva, F., Godo, L., Monoidal t-norm based logic: Towards a logic for left-continuous t-norms (2001) Fuzzy Sets and Systems, 124, pp. 271-288
• Esteva, F., Godo, L., García-Cerdaña, A., On the hierarchy of t-norm based residuated fuzzy logic (2003) Beyond Two: Theory and Applications of Multiple-valued Logic, pp. 251-272. , (M. Fitting and E. Orlowska, eds.) (Physica-Verlag, Berlin)
• Glivenko, V., Sur quelques points de la logique de M. Brouwer (1929) Bull. Acad. Sci. Belgique, 15, pp. 183-188
• Grätzer, G., (1998) General Theory of Lattices, 2nd Edition, , Birkhäuser, Basel
• Grišin, V.N., Predicate and set-theoretical calculi based on logic without contractions (1982) Math. USSR Izvestija, 18, pp. 41-59
• Higgs, D., Dually residuated commutative monoids with identity element as least elements do no form an equational class (1984) Math. Japonica, 29, pp. 69-74
• Idziak, P.M., Lattice operations in BCK-algebras (1984) Math. Japonica, 29, pp. 839-846
• Idziak, P.M., Filters and congruences in BCK-semilattices (1984) Math. Japonica, 29, pp. 975-1890
• Iséki, K., Tanaka, S., Ideal theory of BCK-algebras (1976) Math. Japonica, 21, pp. 351-366
• Iséki, K., Tanaka, S., An introduction to the theory of BCK-algebras (1978) Math. Japonica, 23, pp. 1-26
• Kowalski, T., Ono, H., Residuated lattices: An algebraic glimpse at logics without contraction Preliminary Report
• Palasiński, M., Some remarks on BCK-algebras (1980) Math. Seminar Notes Kobe Univ., 8, pp. 137-144
• Torrens, A., On the role of the polynomial (X → Y) → y in some implicative algebras (1988) Z. Math. Logik Grundlagen Math., 34, pp. 117-122
• Wroński, A., BCK-algebras do not form a variety (1983) Math. Japonica, 28, pp. 211-213

Citas:

---------- APA ----------

---------- CHICAGO ----------

---------- MLA ----------

---------- VANCOUVER ----------