Zobrazeno 1 - 10
of 1 700
pro vyhledávání: '"cut elimination"'
Autor:
João Rasga, Cristina Sernadas
Publikováno v:
Bulletin of the Section of Logic, Vol 53, Iss 3, Pp 321-344 (2024)
We address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic. The combined language includes the shared constructors of both logics namely c
Externí odkaz:
https://doaj.org/article/86ac79893bf249ad92fcbf0865ec8435
Autor:
Hamzeh Mohammadi
Publikováno v:
Bulletin of the Section of Logic, Vol 53, Iss 1, Pp 1-28 (2024)
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 logi
Externí odkaz:
https://doaj.org/article/292aa87155b840eca736be60a2554b12
Publikováno v:
Bulletin of the Section of Logic, Vol 52, Iss 4, Pp 459-495 (2023)
We present a syntactical cut-elimination proof for an extended sequent calculus covering the classical modal logics in the \(\mathsf{K}\), \(\mathsf{D}\), \(\mathsf{T}\), \(\mathsf{K4}\), \(\mathsf{D4}\) and \(\mathsf{S4}\) spectrum. We design the sy
Externí odkaz:
https://doaj.org/article/b1e1dee47c9c4f58b207a9f0b231cab9
Autor:
Sara Ayhan, Heinrich Wansing
Publikováno v:
Bulletin of the Section of Logic, Vol 52, Iss 2, Pp 187-237 (2023)
We consider an approach to propositional synonymy in proof-theoretic semantics that is defined with respect to a bilateral G3-style sequent calculus \(\mathtt{SC2Int}\) for the bi-intuitionistic logic \(\mathtt{2Int}\). A distinctive feature of \(\ma
Externí odkaz:
https://doaj.org/article/476464d68ada40d0aff7a6e939ae20cd
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Braüner, Torben
Publikováno v:
Bulletin of the Section of Logic. 51(2):143-162
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=1071632
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Torben Braüner
Publikováno v:
Bulletin of the Section of Logic, Vol 51, Iss 2, Pp 143-162 (2022)
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 sy
Externí odkaz:
https://doaj.org/article/cf7a80107e9943468c1329939eaf81cc