- Tytuł:
- A Note on Ciuciura’s mbC1
- Autorzy:
- Omori, Hitoshi
- Powiązania:
- https://bibliotekanauki.pl/articles/749998.pdf
- Data publikacji:
- 2019
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
paraconsistent logic
non-deterministic semantics contra-classical logic - Opis:
- This note offers a non-deterministic semantics for mbC1, introduced by Janusz Ciuciura, and establishes soundness and (strong) completeness results with respect to the Hilbert-style proof system. Moreover, based on the new semantics, we briefly discuss an unexplored variant of mbC1 which has a contra-classical flavor.
- Źródło:
-
Bulletin of the Section of Logic; 2019, 48, 3; 161-171
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł