BCK代数の束演算構成に関する一考察

抄録

BCK代数は最小元を持つ半順序構造を有しており、有界可換な場合や可換で条件(S)を満足する場合には束構造を成すこと、さらに代数的に束演算を構成できることが知られている。本報告では、基本的な束構造上で性質の異なる複数のBCK代数を生成し、束演算の構成が可能であるか否かの視点からBCK代数の性質を検討する。