Cut Might Cautiously

DOI10.1093/JIGPAL/3.2-3.191zbMath0824.03031OpenAlexW2151336009MaRDI QIDQ4842272

Jaap van der Does

Publication date: 7 September 1995

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

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

zbMATH Keywords

cautious cut eliminationmight logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Cut-elimination and normal-form theorems (03F05)

This page was built for publication: Cut Might Cautiously