Marginalia on sequent claculi

DOI10.1023/A:1026413320413zbMath0924.03104OpenAlexW1930495812MaRDI QIDQ1288969

A. S. Troelstra

Publication date: 8 November 1999

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1026413320413

zbMATH Keywords

normalizationnatural deductionstructural rulescomplete discharge conventioncutfree deductionsGentzen-style deductionnormal deductionsterm labeling

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Related Items

Unnamed Item ⋮ Termination of permutative conversions in intuitionistic Gentzen calculi

This page was built for publication: Marginalia on sequent claculi