Autor: Tesi, Matteo - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: A Syntactic Proof of the Decidability of First-Order Monadic Logic
Autorzy:: Orlandelli, Eugenio
Tesi, Matteo
Tematy:: proof theory
classical logic
decidability
Herbrand theorem; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/43188312.pdf Link otwiera się w nowym oknie
Opis:: Decidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided. In the present paper we introduce a syntactic proof of decidability of monadic first-order logic in innex normal form which exploits G3-style sequent calculi. In particular, we introduce a cut- and contraction-free calculus having a (complexity-optimal) terminating proof-search procedure. We also show that this logic can be faithfully embedded in the modal logic T.
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: Fractional-Valued Modal Logic and Soft Bilateralism
Autorzy:: Piazza, Mario
Pulcini, Gabriele
Tesi, Matteo
Tematy:: modal logic
general proof theory (including proof-theoretic semantics)
many-valued logics; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/43181839.pdf Link otwiera się w nowym oknie
Opis:: In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14]. In this paper, after clarifying our conception of bilateralism – dubbed “soft bilateralism” – we generalize the fractional method to encompass extensions and weakenings of \(\mathbf{K}\). Specifically, we introduce well-behaved hypersequent calculi for the deontic logic \(\mathbf{D}\) and the non-normal modal logics \(\mathbf{E}\) and \(\mathbf{M}\) and thoroughly investigate their structural properties.
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja