The only Three-Valued 𝐿⊃¬-Logic with one Designated Value which is a Paranormal and Regular 𝐿⊃¬-Logic with Classical Implication
| Autor: | Popov, Vladimir, Slusarev, Ivan |
|---|---|
| Jazyk: | ruština |
| Rok vydání: | 2023 |
| Předmět: | |
| Zdroj: | Logiko-filosofskie studii; Том 20, № 4 (2022); 396–412 Логико-философские штудии; Том 20, № 4 (2022); 396–412 |
| ISSN: | 2071-9183 2223-3954 |
| Popis: | Доказано, что 𝑇 𝑟(⟨𝑀(1/2, 0, 0, 1/2), ¬(1/2, 1, 0)⟩) есть единственная трехзначная 𝐿⊃¬-логика с одним выделенным значением, являющаяся паранормальной и регулярной 𝐿⊃¬-логикой с классической импликацией. It is proven that 𝑇 𝑟(⟨𝑀(1/2, 0, 0, 1/2), ¬(1/2, 1, 0)⟩) is the only three-valued 𝐿⊃¬- logic with one designated value which is a paranormal and regular 𝐿⊃¬-logic with classical implication. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|