Which structural rules admit cut elimination? An algebraic criterion

From MaRDI portal
Publication:5422301

DOI10.2178/jsl/1191333839zbMath1128.03048OpenAlexW2170289322MaRDI QIDQ5422301

Kazushige Terui

Publication date: 17 October 2007

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

Full work available at URL: https://projecteuclid.org/euclid.jsl/1191333839




Related Items (12)




Cites Work




This page was built for publication: Which structural rules admit cut elimination? An algebraic criterion