Constructive cut elimination in geometric logic

DOI10.4230/LIPICS.TYPES.2021.7MaRDI QIDQ6582087zbMATH OpenFDO

Authors Giulio Fellin, Sara Negri, Eugenio Orlandelli

Publication date 1 August 2024

Full work available at URL https://doi.org/10.4230/LIPICS.TYPES.2021.7

zbMATH Keywords

axioms-as-rulesconstructive cut eliminationgeometric theoriesinfinitary logicsequent calculi

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Constructive cut elimination in geometric logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6582087)