- Tytuł:
- Monadic Fragments of Intuitionistic Control Logic
- Autorzy:
- Glenszczyk, Anna
- Powiązania:
- https://bibliotekanauki.pl/articles/749902.pdf
- Data publikacji:
- 2016
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
Intuitionistic Control Logic
Intuitionistic Logic
Combining Logic
Control Operators - Opis:
- We investigate monadic fragments of Intuitionistic Control Logic (ICL), which is obtained from Intuitionistic Propositional Logic (IPL) by extending language of IPL by a constant distinct from intuitionistic constants. In particular we present the complete description of purely negational fragment and show that most of monadic fragments are finite.
- Źródło:
-
Bulletin of the Section of Logic; 2016, 45, 3/4
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł