О разрешимости пересечения всех табличных PNL-логик
| Autor: | Popov, Vladimir |
|---|---|
| Přispěvatelé: | Работа выполнена при поддержке РФФИ, проект № 19-011-00536 А. |
| Jazyk: | ruština |
| Rok vydání: | 2021 |
| Předmět: | |
| Zdroj: | Logiko-filosofskie studii; Том 19, № 3 (2021); 203–246 Логико-философские штудии; Том 19, № 3 (2021); 203–246 |
| ISSN: | 2071-9183 2223-3954 |
| Popis: | In previous work (Попов 2018), we studied one countably infinite hierarchy of tabular 𝑃 𝑁 𝐿-logics (that is, 𝑃 𝑁 𝐿[3], 𝑃 𝑁 𝐿[4], 𝑃 𝑁 𝐿[5] and so on). The central result of the present article: ∩𝑖∈𝑁 𝑃 𝑁 𝐿[𝑖 + 2] is a decidable paranormal logic. Keywords: decidable logic, paranormal logic, logical matrix, tabular logic. В (Попов 2018) проводилось исследование счетно-бесконечной иерархии таб- личных 𝑃 𝑁 𝐿-логик — логик 𝑃 𝑁 𝐿[3], 𝑃 𝑁 𝐿[4], 𝑃 𝑁 𝐿[5] и т. д. Центральный результат предлагаемой статьи: ∩𝑖∈𝑁 𝑃 𝑁 𝐿[𝑖 + 2] является разрешимой паранормальной логикой. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|