Translator Disclaimer
May 2021 Proof Nets for Classical Logic
Stefano Guerrini, Andrea Masini
Author Affiliations +
Notre Dame J. Formal Logic 62(2): 303-343 (May 2021). DOI: 10.1215/00294527-2021-0016

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.

Citation

Download Citation

Stefano Guerrini. Andrea Masini. "Proof Nets for Classical Logic." Notre Dame J. Formal Logic 62 (2) 303 - 343, May 2021. https://doi.org/10.1215/00294527-2021-0016

Information

Received: 20 November 2019; Accepted: 11 November 2020; Published: May 2021
First available in Project Euclid: 9 June 2021

Digital Object Identifier: 10.1215/00294527-2021-0016

Subjects:
Primary: 03F03
Secondary: 03F05, 03F7

Rights: Copyright © 2021 University of Notre Dame

JOURNAL ARTICLE
41 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.62 • No. 2 • May 2021
Back to Top