Universal proof theory: semi-analytic rules and Craig interpolation
From MaRDI portal
Publication:6614044
DOI10.1016/J.APAL.2024.103509MaRDI QIDQ6614044
Author name not available (Why is that?)
Publication date: 7 October 2024
Published in: (Search for Journal in Brave)
No records found.
No records found.
This page was built for publication: Universal proof theory: semi-analytic rules and Craig interpolation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6614044)
