Description

• Title:
  From Intuitionism to Brouwer's Modal Logic
• Creator:
  Kostrzycka, Zofia
• Contributor:
  Opole University of Technology ul. Sosnkowskiego 31 45-272 Opole, Poland;
  z.kostrzycka@po.edu.pl
• Description:
  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.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2021.05.11;
  2020.12.30
• Type:
  Other
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;4;
  49
• Subject:
  intuitionistic logic;
  Kripke frames;
  Brouwer's modal logic
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/35462 ;
  2449-836X;
  10.18778/0138-0680.2020.22
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other