论文信息 - On Axiom Systems of Pseudo-BCK Algebras - 字舞流文

On Axiom Systems of Pseudo-BCK Algebras

A symplied axiomatization of pseudo-BCK algebras is given. In addition, we obtain a system of axioms dening bounded commutative pseudo- BCK algebras and show that these axioms are independent (that is, none follows from the others).

Andrzej Walendziak | Malaysian Mathematical | M. Mathematical | A. Walendziak

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

[2] K. Iseki,et al. On axiom systems of propositional calculi, I , 1965 .

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

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

[5] FUZZY Ζ-IDEALS IN IS-ALGEBRAS , 2000 .

[6] Sylvia Pulmannová,et al. New trends in quantum structures , 2000 .

[7] George Georgescu,et al. Pseudo-BCK Algebras: An Extension of BCK Algebras , 2001, DMTCS.

[8] Jiří Rachůnek,et al. A non-commutative generalization of MV-algebras , 2002 .

[9] J. Bae. CHARACTERIZATIONS OF PSEUDO-BCK ALGEBRAS , 2003 .

[10] Afrodita Iorgulescu. ON PSEUDO-BCK ALGEBRAS AND PORIMS , 2004 .

[11] Afrodita Iorgulescu. Classes of pseudo-BCK algebras - Part II , 2006, J. Multiple Valued Log. Soft Comput..

[12] Liu Guozhu,et al. Generalized Fuzzy Ideals of BCK-Algebras , 2009 .

[13] Sun Shao-quan. Generalized Fuzzy Ideals of BCI-algebra , 2011 .