Opis

• Tytuł:
  Remarks on Stable Formulas in Intuitionistic Logic
• Twórca:
  Alizadeh, Majid;
  Bibak, Ali
• Opis:
  ONNILLI-formulas were introduced in [2] and were shown to be the set of formulas that are preserved under monotonic images of descriptive or Kripke frames. As a result, ONNILLI is a syntactically defined set of formulas that axiomatize all stable logics. In this paper, among other things, by proving the uniform interpolation property for ONNILLI we show that ONNILLI is exactly the set of formulas that are preserved in monotonic bijections of descriptive or (finite) Kripke models. This resolves an open problem in [2].
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2018 Logic and Logical Philosophy
• Data:
  2018.11.18
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 28 No. 2 (2019): June; 209-222;
  Logic and Logical Philosophy; Tom 28 Nr 2 (2019): czerwiec; 209-222;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2018.017/16031
• Temat i słowa kluczowe:
  intuitionistic logic;
  intermediate logic;
  subframe logics;
  monotonic maps;
  stable logics;
  uniform interpolation property;
  03B55;
  03B20
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2018.017
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty