- Tytuł:
- Interpolation in Normal Extensions of the Brouwer Logic
- Autorzy:
- Kostrzycka, Zofia
- Data publikacji:
- 2016
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
normal extensions of the Brouwer logics
Kripke frames
interpolation property
amalgamation property - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki