Autor:	Stefano Guerrini, Andrea Masini
Jazyk:	angličtina
Rok vydání:	2021
Předmět:	Normalization (statistics) Logic Computer science Classical logic classical logic proof nets proof theory proof theory proof nets classical logic Algebra TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Proof theory Computer Science::Logic in Computer Science Confluence Symmetry (geometry)
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::04df77a62a3983f8478ef0dc22520d1a http://hdl.handle.net/11562/1044766 Zobrazit plný text záznamu