A NOTE ON THE SEQUENT CALCULI

DOI10.1017/S1755020320000155OpenAlexW3039344827MaRDI QIDQ5078820

Flavio Previale, Franco Parlamento

Publication date: 25 May 2022

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020320000155

zbMATH Keywords

sequent calculusequalityadmissibilityreplacement rules

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Related Items (1)

Glivenko sequent classes and constructive cut elimination in geometric logics

Uses Software

• Pesca

Cites Work

• Proof theory. 2nd ed
• Cut Elimination in the Presence of Axioms
• THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A NOTE ON THE SEQUENT CALCULI