- Tytuł:
- Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations
- Autorzy:
- Niki, Satoru
- Powiązania:
- https://bibliotekanauki.pl/articles/1023170.pdf
- Data publikacji:
- 2020-11-04
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
empirical negation
co-negation
Beth semantics
Kripke semantics
intuitionism - Opis:
- We investigate the relationship between M. De's empirical negation in Kripke and Beth Semantics. It turns out empirical negation, as well as co-negation, corresponds to different logics under different semantics. We then establish the relationship between logics related to these negations under unified syntax and semantics based on R. Sylvan's CCω.
- Źródło:
-
Bulletin of the Section of Logic; 2020, 49, 3; 231-253
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł