Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
Autor: | Torben Braüner |
---|---|
Jazyk: | angličtina |
Rok vydání: | 2022 |
Předmět: | |
Zdroj: | Bulletin of the Section of Logic, Vol 51, Iss 2, Pp 143-162 (2022) |
Druh dokumentu: | article |
ISSN: | 0138-0680 2449-836X |
DOI: | 10.18778/0138-0680.2022.02 |
Popis: | 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. |
Databáze: | Directory of Open Access Journals |
Externí odkaz: |