Loading [a11y]/accessibility-menu.js
A correspondence between implicational fragment logics and fuzzy logics | IEEE Conference Publication | IEEE Xplore

A correspondence between implicational fragment logics and fuzzy logics


Abstract:

This research report treats a correspondence between implicational fragment logics and fuzzy logics from the viewpoint of their algebraic semantics. The authors introduce...Show More

Abstract:

This research report treats a correspondence between implicational fragment logics and fuzzy logics from the viewpoint of their algebraic semantics. The authors introduce monotone BI-algebras by loosening the axiomatic system of BCK-algebras. Also, we extend the algebras of fuzzy logics with weakly-associative conjunction from the case of the unit real interval to the case of a partially-ordered set. As the main result of this report, it is proved that the class of monotone BI-algebras with condition (S) coincides with the class of weakly-associative conjunctive algebras.
Date of Conference: 22-24 October 2014
Date Added to IEEE Xplore: 15 December 2014
Electronic ISBN:978-1-4799-5464-3
Conference Location: Noboribetsu, Japan

References

References is not available for this document.