New papers in the latest issue of JALs

The Journal of Applied Logic’s latest issue features two new papers by some of our group members. You can easily access them at this link. M. D’Agostino, C. Larese and S. Modgil – Towards Depth-bounded Natural Deduction for Classical First-order Logic Abstract: In this paper we lay the foundations of a new proof-theory for classical […]