-
71Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s LogicsLogica Universalis 11 (4): 525-532. 2017.In this paper, we present sound and complete natural deduction systems for Fitting’s four-valued generalizations of Kleene’s three-valued regular logics.
Areas of Specialization
| Science, Logic, and Mathematics |
| Proof Theory |
| Many-Valued Logic |
Areas of Interest
| Science, Logic, and Mathematics |
| Proof Theory |
| Many-Valued Logic |