Rule-irredundancy and the sequent calculus for core logic

DOI10.1215/00294527-3346463zbMath1403.03117OpenAlexW2272896729MaRDI QIDQ5963202

Neil Tennant

Publication date: 4 March 2016

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

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

zbMATH Keywords

thinningreflexivitycutcut-eliminationstructural ruleslogical ruleslogical strengththinning-elimination

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

On some mistaken beliefs about core logic and some mistaken core beliefs about logic

This page was built for publication: Rule-irredundancy and the sequent calculus for core logic