Some locally tabular logics with contraction and mingle

From MaRDI portal
Publication:3086533












This page was built for publication: Some locally tabular logics with contraction and mingle

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