Opis

• Tytuł:
  The contribution of A.V. Kuznetsov to the theory of modal systems and structures
• Twórca:
  Muravitsky, Alexei Y.
• Opis:
  We will outline the contributions of A.V. Kuznetsov to modal logic. In his research he focused mainly on semantic, i.e. algebraic, issues and lattices of extensions of particular modal logics, though his proof of the Full Conservativeness Theorem for the proof-intuitionistic logic KM (Theorem 17 below) is a gem of proof-theoretic art.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Data:
  2008.06.19
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 17 No. 1-2 (2008); 41-58;
  Logic and Logical Philosophy; Tom 17 Nr 1-2 (2008); 41-58;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2008.004/1300
• Temat i słowa kluczowe:
  intuitionistic propositional logic and its extensions;
  modal logic S4 and its extensions;
  algebraic semantics for modal logics (S4;
  Grz;
  GL;
  KM-algebras);
  lattice of the extensions of a logic
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2008.004
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty