Opis

• Tytuł:
  Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
• Twórca:
  Braüner, Torben
• Współtwórca:
  Roskilde University, Department of People and Technology, Building 10.1, Universitetsvej 1, P.O. Box 260, DK-4000 Roskilde, Denmark;
  torben@ruc.dk
• Opis:
  This paper is about non-labelled proof-systems for hybrid logic, that is, proofsystems where arbitrary formulas can occur, not just satisfaction statements. We give an overview of such proof-systems, focusing on analytic systems: Natural deduction systems, Gentzen sequent systems and tableau systems. We point out major results and we discuss a couple of striking facts, in particular that nonlabelled hybrid-logical natural deduction systems are analytic, but this is not proved in the usual way via step-by-step normalization of derivations.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2022.08.25;
  2022.01.07
• Typ:
  Other
• Język:
  angielski;
  eng
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;2;
  51
• Temat i słowa kluczowe:
  hybrid logic;
  natural deduction systems;
  sequent systems;
  normalization;
  cut-elimination;
  analycity
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/42921 ;
  2449-836X;
  10.18778/0138-0680.2022.02
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe