- Tytuł:
- An Investigation into Intuitionistic Logic with Identity
- Autorzy:
-
Chlebowski, Szymon
Leszczyńska-Jasion, Dorota - Powiązania:
- https://bibliotekanauki.pl/articles/750046.pdf
- Data publikacji:
- 2019
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
Non-Fregean logics
intuitionistic logic
admissibility of cut
propositional identity
congruence - Opis:
- We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity (ISCI). We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s propositional identity connective.
- Źródło:
-
Bulletin of the Section of Logic; 2019, 48, 4
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł