An Axiom System For a BCK-Algebra with the Condition (S)

スポンサーリンク

概要

• 論文の詳細を見る
• 神戸大学の論文

著者

• Yutani Hiroshi

  神戸大学

関連論文

• Remarks on Homomorphisms
• Quasi-Commutative Bck-Algebras and Conguruence Relations
• An Axiom System For a BCK-Algebra with the Condition (S)
• Characterizations of Positive Implicative BCK-algebras by Ideals
• On a System of Axioms of a Commutative BCK-Algebra
• Disjoint Unions of BCK-algebras
• The Class of Commutative BCK-Algebras is Equationally Definable
• Coequalizer in the Category if BCK-Algebras II
• Coequalizer in the Category of BCK-Algebras

スポンサーリンク