We discuss the reviewed paper, presenting a general method allowing the systematic generation of well-behaved analytic proof systems for a wide range of intermediate propositional logics, based on a suitable internalization of Kripke’s relational semantics into sequent-style calculi.
Review Essay of: Dyckhoff, Roy; Negri, Sara. Proof analysis in intermediate logics. Arch. Math. Logic 51 (2012), no. 1-2, 71–92 / Minari, Pierluigi. - In: MATHEMATICAL REVIEWS. - ISSN 0025-5629. - ELETTRONICO. - (2012), pp. MR2864398-MR2864398.
Review Essay of: Dyckhoff, Roy; Negri, Sara. Proof analysis in intermediate logics. Arch. Math. Logic 51 (2012), no. 1-2, 71–92.
MINARI, PIERLUIGI
2012
Abstract
We discuss the reviewed paper, presenting a general method allowing the systematic generation of well-behaved analytic proof systems for a wide range of intermediate propositional logics, based on a suitable internalization of Kripke’s relational semantics into sequent-style calculi.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
MR_Negri.pdf
Accesso chiuso
Descrizione: pdf editoriale
Tipologia:
Pdf editoriale (Version of record)
Licenza:
Tutti i diritti riservati
Dimensione
180.6 kB
Formato
Adobe PDF
|
180.6 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.