Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation
Sign Up to like & getrecommendations! Published in 2021 at "Journal of Applied Non-Classical Logics"
DOI: 10.1080/11663081.2021.1948285
Abstract: Let MK3 and MK3 be Kleene's strong 3-valued matrix with only one and two designated values, respectively. Next, let MK3 (resp., MK3 ) be defined exactly as MK3 (resp., MK3 ), except that the characteristic… read more here.
Keywords: del type; type negation; type; kleene strong ... See more keywords