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 MoreMetadata
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