Szukaj
Wyświetlanie pozycji 1-1 z 1
From Intuitionism to Brouwer's Modal Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
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 ...