Opis

• Tytuł:
  Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
• Twórca:
  Grigoriev, Oleg;
  Petrukhin, Yaroslav
• Opis:
  In this paper, we consider modal multilattices with Tarski, Kuratowski, and Halmos closure and interior operators as well as the corresponding logics which are multilattice versions of the modal logics MNT4, S4, and S5, respectively. The former modal multilattice logic is a new one. The latter two modal multilattice logics have been already mentioned in the literature, but algebraic completeness results have not been established for them before. We present a multilattice version of MNT4 in a form of a sequent calculus and prove the algebraic and neighbourhood completeness theorems for it. We extend the algebraic completeness result for the multilattice versions of S4 and S5 as well.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2021 Logic and Logical Philosophy
• Data:
  2021.02.20
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 30 No. 3 (2021): September; 385-415;
  Logic and Logical Philosophy; Tom 30 Nr 3 (2021): wrzesień; 385-415;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2021.003/28258
• Temat i słowa kluczowe:
  multilattice logic;
  modal logic;
  sequent calculus;
  algebraic completeness;
  neighbourhood semantics;
  embedding theorem
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2021.003
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty