Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation

DOI10.1007/978-3-031-43513-3_15MaRDI QIDQ6541157

Iris van der Giessen, Roman Kuznets, Raheleh Jalali

Publication date: 17 May 2024

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation

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