Proof systems for institutional logic (0)

by Răzvan Diaconescu
Venue:Journal of Logic and Computation