Decomposition of Reduction

DOI10.1007/978-94-007-7548-0_11zbMath1344.03047OpenAlexW96950578MaRDI QIDQ5251194

Ernst Zimmermann

Publication date: 22 May 2015

Published in: Trends in Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-7548-0_11

zbMATH Keywords

natural deductionrewritingintuitionistic logicfull reduction

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: Decomposition of Reduction