含意断片論理とファジィ論理の対応に関する一考察

抄録

含意演算に関する公理のみで構成される含意断片論理と、ファジィ論理の対応関係を考察する。推論規則であるモーダスポネンスと三段論法のみを満足する連言演算ベースの代数系、およびそれと同値な含意演算ベースの代数系を構築する。さらに含意断片論理の各公理を代数表現に変換し、両者を比較する。