- Tytuł:
- Interpolation in Normal Extensions of the Brouwer Logic
- Autorzy:
- Kostrzycka, Zofia
- Powiązania:
- https://bibliotekanauki.pl/articles/749908.pdf
- Data publikacji:
- 2016
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
normal extensions of the Brouwer logics
Kripke frames
interpolation property
amalgamation property - Opis:
- The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.
- Ź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ł