Opis

• Tytuł:
  On classical behavior of intuitionistic modalities
• Twórca:
  Drobyshevich, Sergey
• Opis:
  We study connections between four types of modal operators – necessity, possibility, un-necessity and impossibility – over intuitionitstic logic in terms of compositions of these modal operators with intuitionistic negation. We investigate which basic compositions, i.e. compositions of the form ¬δ, δ¬ or ¬δ¬, yield modal operators of the same type over intuitionistic logic as over classical logic. We say that such compositions behave classically. We study which modal properties correspond to each basic compositions behaving classically over intuitionistic logic and also prove that KC constitutes the smallest superintuitionistic logic over which all basic compositions behave classically.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Data:
  2014.08.16
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 24 No. 1 (2015): March; 79–104;
  Logic and Logical Philosophy; Tom 24 Nr 1 (2015): March; 79–104;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2014.019/4165
• Temat i słowa kluczowe:
  intuitionistic logic;
  modal logics;
  intuitionistic modalities;
  compositions;
  possibility;
  necessity;
  un-necessity;
  impossibility
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2014.019
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty