Absorbing the structural rules in the sequent calculus with additional atomic rules

DOI10.1007/s00153-019-00696-5zbMath1481.03062arXiv1810.11407OpenAlexW2982027353WikidataQ127024960 ScholiaQ127024960MaRDI QIDQ2309499

Flavio Previale, Franco Parlamento

Publication date: 1 April 2020

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

Full work available at URL: https://arxiv.org/abs/1810.11407

zbMATH Keywords

sequent calculusequalitystructural rulesadmissibilityatomic rules

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Uses Software

• Pesca

Cites Work

• Cut Elimination in the Presence of Axioms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item