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.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
