離散t-ノルムとBCK代数

抄録

条件(S)を満たすBCK代数において、BCK代数の演算の随伴演算子として導入される二項演算は半順序集合上のt-コノルムとみなすことができる。本稿ではBCK代数の枠組みでt-ノルムを構成する方法を考案する。また具体論として差集合演算、積集合演算、和集合演算に加え、離散t-コノルムおよび離散t-ノルムに基づく集合演算を備えたマルチ集合論を展開する。