Host: Japan Society for Fuzzy Theory and Intelligent Informatics (SOFT)
Name : 37th Fuzzy System Symposium
Number : 37
Location : [in Japanese]
Date : September 13, 2021 - September 15, 2021
Weak Kleene (WK) and Paraconsistent Weak Kleene (PWK) are 3-valued logics that take a third truth value other than true or false to represent “meaninglessness”. WK and PWK are also called infectious logic because if a propositional variable in a formula is interpreted as meaningless, then the interpretation spreads throughout the formula. This study aims to clarify the relationship between WK and PWK logic systems and rough sets from algebraic semantics. In particular, we investigate the possibility to show the construction of an algebraic model of WK and PWK by Plonka sums using rough set logic.
