Finite two-dimensional proof systems for non-finitely axiomatizable logics

DOI10.1007/978-3-031-10769-6_37arXiv2205.08920MaRDI QIDQ6399483

João Marcos, Vitor Greati

Publication date: 18 May 2022

Mathematics Subject Classification ID

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

This page was built for publication: Finite two-dimensional proof systems for non-finitely axiomatizable logics