|next article in this issue|
Document Details :
Title: Natural Three-Valued Logics Characterized by Natural Deduction
Author(s): PETRUKHIN, Yaroslav , SHANGIN, Vasilyi
Journal: Logique et Analyse
Volume: 244 Date: 2018
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 of the concept of natural logic presented by N. Tomova. By using the correspondence analysis given by B. Kooi and A. Tamminga, we present a syntactical counterpart of the semantic definition in question, i.e. in this paper, three-valued natural logics are characterised by natural deduction systems.