Photo from wikipedia
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… Click to show full 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 Łukasiewicz-type negation of Kleene's strong 3-valued matrix is replaced by a ‘Gödel-type’ negation (resp., ‘dual Gödel-type’ negation). The aim of this paper is to axiomatize the logics determined by all natural implicative expansions of MK3 and MK3 . The axiomatic formulations are defined by using a ‘two-valued’ Belnap-Dunn semantics.
Keywords:
del type;
type negation;
type;
kleene strong
Journal Title: Journal of Applied Non-Classical Logics
Year Published: 2021
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Journal of Applied Non-Classical Logics
Year Published: 2021
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!