Michael Arndt
(2010-2019)
XA cut-like inference in a framework of explicit composition for various calculi of natural deduction
2015
in: From logic to practice, Dordrecht : Springer
(2010-2019)
XA cut-like inference in a framework of explicit composition for various calculi of natural deduction
2015
in: From logic to practice, Dordrecht : Springer