- Tytuł:
- From Intuitionism to Brouwers Modal Logic
- Autorzy:
- Kostrzycka, Zofia
- Powiązania:
- https://bibliotekanauki.pl/articles/1023286.pdf
- Data publikacji:
- 2020-12-30
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
intuitionistic logic
Kripke frames
Brouwer's modal logic - Opis:
- We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication as modal strict implication, whereas variables and other positive sentences remain as they are. The proposed translation preserves fragments of the Rieger-Nishimura lattice which is the Lindenbaum algebra of monadic formulas in INT. Unfortunately, INT is not embedded by this mapping into KTB.
- Źródło:
-
Bulletin of the Section of Logic; 2020, 49, 4; 343-358
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł