Photo by erol from unsplash
In this paper, we present sound and complete natural deduction systems for Fitting’s four-valued generalizations of Kleene’s three-valued regular logics. Click to show full 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.
Keywords:
four valued;
natural deduction;
valued generalizations;
fitting four;
generalizations kleene
Journal Title: Logica Universalis
Year Published: 2017
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Logica Universalis
Year Published: 2017
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!