Opis

• Tytuł:
  From Intuitionism to Brouwer's Modal Logic
• Twórca:
  Kostrzycka, Zofia
• Współtwórca:
  Opole University of Technology ul. Sosnkowskiego 31 45-272 Opole, Poland;
  z.kostrzycka@po.edu.pl
• 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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2021.05.11;
  2020.12.30
• Typ:
  Other
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;4;
  49
• Temat i słowa kluczowe:
  intuitionistic logic;
  Kripke frames;
  Brouwer's modal logic
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/35462 ;
  2449-836X;
  10.18778/0138-0680.2020.22
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe