NATURAL THREE-VALUED LOGICS CHARACTERIZED BY NATURAL DEDUCTION

Petrukhin, Y; Shangin, V

Petrukhin, Y (reprint author), Lomonosov Moscow State Univ, Moscow, Russia.

LOGIQUE ET ANALYSE, 2018; (244): 407

Abstract

In this paper, we combine the concept of natural deduction and the concept of three-valued natural logic. In particular, we use a semantic definition ......

Full Text Link