We propose a new direct presentation of full (propositional) classical logic by means of proof nets, for which strong normalization and confluence hold true. Our proposal is based on the breaking of symmetry between propositional connectives, combined with a principle of focusing/defocusing.
Proof Nets for Classical Logic
Masini, Andrea
2021-01-01
Abstract
We propose a new direct presentation of full (propositional) classical logic by means of proof nets, for which strong normalization and confluence hold true. Our proposal is based on the breaking of symmetry between propositional connectives, combined with a principle of focusing/defocusing.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Guerrini, Masini - 2021 - Proof Nets for Classical Logic.pdf
solo utenti autorizzati
Licenza:
Copyright dell'editore
Dimensione
942.01 kB
Formato
Adobe PDF
|
942.01 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.
