论文信息 - Pseudo-BCK Algebras: An Extension of BCK Algebras - 字舞流文

Pseudo-BCK Algebras: An Extension of BCK Algebras

We extend BCK algebras to pseudo-BCK algebras, as MV algebras and BL algebras were extended to pseudo-MV algebras and pseudo-BL algebras, respectively. We make the connection with pseudo-MV algebras and with pseudo-BL algebras.

George Georgescu | Afrodita Iorgulescu

[1] George Georgescu,et al. Pseudo-t-norms and pseudo-BL algebras , 2001, Soft Comput..

[2] K. Iseki,et al. ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI XIV , 1966 .

[3] D. Mundici. MV-algebras are categorically equivalent to bounded commutative BCK-algebras , 1986 .

[4] K. Iseki. An introduction to the theory of BCK-algebra , 1978 .

[5] Petr Hájek,et al. Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[6] D. Mundici. Interpretation of AF -algebras in ukasiewicz sentential calculus , 1986 .

[7] Petr Hájek,et al. Basic fuzzy logic and BL-algebras II , 1998, Soft Comput..

[8] K. Iseki,et al. AN INTRODUCTION TO THE THEORY OF THE BCK-ALGEBRAS , 1978 .

[9] C. Chang,et al. Algebraic analysis of many valued logics , 1958 .

[10] Grigore C. Moisil. Essais sur les logiques non chrysippiennes , 1972 .

[11] Petr Hájek,et al. A complete many-valued logic with product-conjunction , 1996, Arch. Math. Log..

[12] D. Mundici,et al. Algebraic Foundations of Many-Valued Reasoning , 1999 .