Opis

• Tytuł:
  Linear Abelian Modal Logic
• Twórca:
  Mohammadi, Hamzeh
• Współtwórca:
  Isfahan University of Technology, Department of Mathematical Sciences;
  hamzeh.mohammadi@math.iut.ac.ir
• Opis:
  A many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of lattice-ordered abelian groups. The logic \(\rm \mathbf{LK(A)}\) is axiomatized by extending \(\rm \mathbf{K(A)}\) with the modal axiom schemas \(\Box(\varphi\vee\psi)\rightarrow(\Box\varphi\vee\Box\psi)\) and \((\Box\varphi\wedge\Box\psi)\rightarrow\Box(\varphi\wedge\psi)\). Completeness theorem with respect to algebraic semantics and a hypersequent calculus admitting cut-elimination are established. Finally, the correspondence between hypersequent calculi and axiomatization is investigated.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0/
• Data:
  2024.04.12;
  2023.12.15
• Typ:
  Other
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;1;
  53
• Temat i słowa kluczowe:
  many-valued logic;
  modal logic;
  abelian logic;
  hypersequent calculus;
  cut-elimination
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/51685 ;
  2449-836X;
  10.18778/0138-0680.2023.30
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe