Correspondence analysis and automated proof-searching for first degree entailmentстатья
Информация о цитировании статьи получена из
Web of Science
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 11 ноября 2019 г.
Аннотация:In this paper, we present correspondence analysis for the well-known four-valued logic First Degree Entailment (FDE). Correspondence analysis is Kooi and Tamminga’s technique for finding adequate natural deduction systems for all the truth-functional unary and binary extensions of an arbitrary functionally incomplete many-valued logic. In particular, Kooi and Tamminga initially presented correspondence analysis for Asenjo–Priest’s three-valued the Logic of Paradox. Generally speaking, a tabular functionally incomplete many-valued logic is added with an arbitrary unary or binary connective ∘ following the truth-table definition of ∘. As a result, a tremendous amount of logics obtains a sound and complete natural deduction system in one go. In this paper, we generalize its application proposed by Kooi and Tamminga for the unary extensions of FDE and obtain correspondence analysis for the binary extensions of the logic in question. On the other hand, we use a proof-searching algorithm to have been successfully applied to classical and a variety of non-classical logics and present a finite, sound, and complete proof-searching algorithm for natural deduction systems for the binary extensions of FDE obtained via correspondence analysis. In the end, a comparative study of this method and the method presented by Avron and his collaborators is given.