Pubblicazioni

Autori:

Martini, Simone; Masini, Andrea; Zorzi, Margherita

Titolo:

A natural deduction calculus for S4.2

Anno:

2024

Tipologia prodotto:

Articolo in Rivista

Tipologia ANVUR:

Articolo su rivista

Lingua:

Inglese

Formato:

Elettronico

Referee:

Sì

Nome rivista:

Notre Dame Journal of Formal Logic

ISSN Rivista:

0029-4527

N° Volume:

65

Numero o Fascicolo:

2

Editore:

Project Euclid

Intervallo pagine:

127-150

Parole chiave:

proof theory, natural deduction, normalization, modal logic

Breve descrizione dei contenuti:

Abstract We propose a natural deduction calculus for the modal logic S4.2. The system is designed to match as much as possible the structure and the prop- erties of the standard system of natural deduction for first-order classical logic, exploiting the formal analogy between modalities and quantifiers. The system is proved sound and complete w.r.t. the standard Hilbert-style formulation of S4.2. Normalization and its consequences are obtained in a natural way, with proofs that closely follow the analogous ones for first-order logic.

Id prodotto:

138373

Handle IRIS:

11562/1121587

ultima modifica:

20 aprile 2025

Citazione bibliografica:

Martini, Simone; Masini, Andrea; Zorzi, Margherita, A natural deduction calculus for S4.2 «Notre Dame Journal of Formal Logic» , vol. 65 , n. 2 , 2024 , pp. 127-150

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo