3 citations · 5 across the 14 of their papers we have counts for
1 paper · 2 filters
Wesley Fussner, Simon Santschi, Borja Sierra Miranda
We exhibit a uniform method for obtaining (wellfounded and non-wellfounded) cut-free sequent-style proof systems that are sound and complete for various classes of action algebras,…