OUP accepted manuscript

DOI10.1093/jigpal/jzx006zbMath1405.03088OpenAlexW2620584519MaRDI QIDQ4644486

Gabriele Pulcini, Walter Alexandre Carnielli

Publication date: 8 January 2019

Published in: Logic Journal Of The Igpl (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzx006

zbMATH Keywords

cut-elimination theoremrefutation calculicomplementary classical logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Related Items (6)

Complementary proof nets for classical logic ⋮ Paraconsistency in classical logic ⋮ Towards a non-classical meta-theory for substructural approaches to paradox ⋮ FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC ⋮ Validities, antivalidities and contingencies: a multi-standard approach ⋮ Sequent-calculi for metainferential logics

This page was built for publication: OUP accepted manuscript