OUP accepted manuscript

DOI10.1093/logcom/exx003zbMath1405.03089arXiv1303.4257OpenAlexW2964170360MaRDI QIDQ5894700

Nicolas Peltier, Alexander Leitsch, Daniel Weller

Publication date: 13 February 2018

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1303.4257

zbMATH Keywords

first-order logiccut eliminationCERES method

Mathematics Subject Classification ID

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

Related Items (1)

Schematic refutations of formula schemata

This page was built for publication: OUP accepted manuscript