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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6525565&oldid=40041846"
Powered by MediaWiki