We show that if the structural rules are admissible over a set R of atomic rules, then they are admissible in the sequent calculus obtained by adding the rules in R to G3[mic]. Two applications to pure logic and to the sequent calculus with equality are presented.
Absorbing the structural rules in the sequent calculus with additional atomic rules
Parlamento F.;
2019-01-01
Abstract
We show that if the structural rules are admissible over a set R of atomic rules, then they are admissible in the sequent calculus obtained by adding the rules in R to G3[mic]. Two applications to pure logic and to the sequent calculus with equality are presented.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
AFML-preprint.pdf
accesso aperto
Tipologia:
Documento in Pre-print
Licenza:
Creative commons
Dimensione
192.21 kB
Formato
Adobe PDF
|
192.21 kB | Adobe PDF | Visualizza/Apri |
AFML-postprint.pdf
accesso aperto
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
94.58 kB
Formato
Adobe PDF
|
94.58 kB | Adobe PDF | Visualizza/Apri |
AFML-editoriale.pdf
non disponibili
Tipologia:
Versione Editoriale (PDF)
Licenza:
Non pubblico
Dimensione
487.11 kB
Formato
Adobe PDF
|
487.11 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.