Cut elimination for coherent theories in negation normal form

DOI10.1007/s00153-023-00902-5OpenAlexW4391175831WikidataQ129443983 ScholiaQ129443983MaRDI QIDQ6128784

Paolo Maffezioli

Publication date: 16 April 2024

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-023-00902-5

zbMATH Keywords

cut eliminationclassical first-order logicnegation normal form

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

This page was built for publication: Cut elimination for coherent theories in negation normal form