NATURAL DEDUCTION FOR FOUR-VALUED BOTH REGULAR AND MONOTONIC LOGICS.

Saved in:
Bibliographic Details
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
Description
ISSN:14253305
DOI:10.12775/LLP.2017.001