Cut elimination for a calculus with context-dependent rules

DOI10.1007/S001530000058zbMath0989.03063OpenAlexW2039754492MaRDI QIDQ5945008

Birgit Elbl

Publication date: 14 July 2002

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530000058

zbMATH Keywords

cut eliminationsequent calculussubstructural logiclogic programmingcontext-dependent ruleSchütte-type system

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Cut-elimination and normal-form theorems (03F05) Logic programming (68N17) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

This page was built for publication: Cut elimination for a calculus with context-dependent rules