Admissibility of the Structural Rules in the Sequent Calculus with Equality
From MaRDI portal
Publication:6525565
arXiv2403.06887MaRDI QIDQ6525565FDOQ6525565
Authors: Franco Parlamento, Flavio Previale 
This page was built for publication: Admissibility of the Structural Rules in the Sequent Calculus with Equality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6525565)
