Výsledky vyhledávání - "paranormal 𝐿⊃¬-logic"

The only Three-Valued 𝐿⊃¬-Logic with one Designated Value which is a Paranormal and Regular 𝐿⊃¬-Logic with Classical Implication

Autor: Popov, Vladimir, Slusarev, Ivan

Publikováno v: Logiko-filosofskie studii; Том 20, № 4 (2022); 396–412
Логико-философские штудии; Том 20, № 4 (2022); 396–412

Доказано, что 𝑇 𝑟(⟨𝑀(1/2, 0, 0, 1/2), ¬(1/2, 1, 0)⟩) есть единственная трехзначная 𝐿⊃¬-логика с одним выделенным значением, являющаяся паранорм

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=issn20719183::7ef7800334fc893e9e8e01d9809312b4
https://ojs.philosophy.spbu.ru/index.php/lphs/article/view/794

Zobrazit plný text záznamu

О разрешимости пересечения всех табличных PNL-логик

Autor: Popov, Vladimir

Publikováno v: Logiko-filosofskie studii; Том 19, № 3 (2021); 203–246
Логико-философские штудии; Том 19, № 3 (2021); 203–246

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: ∩𝑖∈𝑁 �

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=issn20719183::25f7a5fc816086fe727f6fa114acb068
https://ojs.philosophy.spbu.ru/index.php/lphs/article/view/719

Zobrazit plný text záznamu

Аналитико-табличное представление логик, включающих логику Par

Publikováno v: Логические исследования.

В этой работе мы предлагаем аналитико-табличные аксиоматизации ряда логик. Этими логиками являются такие расширения известной паранеп�

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2806::397e96805bd37afb0ced781219dbb2bc
http://cyberleninka.ru/article_covers/16896626.png

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vyhledávací nástroje:

Upřesnit hledání