Note on globally sound analytic calculi for quantifier macros

DOI10.1007/978-3-662-59533-6_29OpenAlexW2950149739MaRDI QIDQ2303611

Matthias Baaz, Anela Lolic

Publication date: 4 March 2020

Full work available at URL: https://doi.org/10.1007/978-3-662-59533-6_29

zbMATH Keywords

sequent calculuscut-eliminationquantifier macros

Mathematics Subject Classification ID

Logic in computer science (03B70)

This page was built for publication: Note on globally sound analytic calculi for quantifier macros