Analytic cut trees

DOI10.1093/JIGPAL/8.6.733zbMath0976.03060OpenAlexW2115914173MaRDI QIDQ4521282

Carlo Cellucci

Publication date: 6 January 2002

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/b424b06bbabaacafbc01c9c492923ae69a7aa6eb

zbMATH Keywords

resolutionsubformula propertyanalytic cut

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Related Items (1)

Unnamed Item

This page was built for publication: Analytic cut trees