NATURAL DEDUCTION FOR FOUR-VALUED BOTH REGULAR AND MONOTONIC LOGICS.
Saved in:
| Title: | NATURAL DEDUCTION FOR FOUR-VALUED BOTH REGULAR AND MONOTONIC LOGICS. |
|---|---|
| Authors: | Petrukhin, Yaroslav1 yaroslav.petrukhin@mail.ru |
| Source: | Logic & Logical Philosophy. Mar2018, Vol. 27 Issue 1, p53-66. 14p. |
| Database: | Mathematics Source |
| ISSN: | 14253305 |
|---|---|
| DOI: | 10.12775/LLP.2017.001 |