Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics
Sign Up to like & getrecommendations! Published in 2017 at "Logica Universalis"
DOI: 10.1007/s11787-017-0169-0
Abstract: In this paper, we present sound and complete natural deduction systems for Fitting’s four-valued generalizations of Kleene’s three-valued regular logics. read more here.
Keywords: four valued; natural deduction; valued generalizations; fitting four ... See more keywords