Open AccessON THE DECIDABILITY OF THE INTERSECTION OF ALL TABULAR P N L-LOGICS
Author(s) -
В. М. Попов
Publication year - 2021
Publication title -
logiko-filosofskie študii
Language(s) - English
Resource type - Journals
eISSN - 2223-3954
pISSN - 2071-9183
DOI - 10.52119/lphs.2021.85.26.003
Subject(s) - decidability , intersection (aeronautics) , mathematics , combinatorics , countable set , hierarchy , discrete mathematics , geography , cartography , economics , market economy
В (Попов 2018) проводилось исследование счетно-бесконечной иерархии табличных P N L-логик - логик P N L[3], P N L[4], P N L[5] и т. д. Центральный результат предлагаемой статьи: ∩i∈N P N L[i + 2] является разрешимой паранормальной логикой. In previous work (Попов 2018), we studied one countably infinite hierarchy of tabular P N L-logics (that is, P N L[3], P N L[4], P N L[5] and so on). The central result of the present article: ∩i∈N P N L[i + 2] is a decidable paranormal logic.