Labelled Natural Deduction for Substructural Logics (1997)

Cached

Download Links

by Krysia Broda , Marcelo Finger , Alessandra Russo , Ra Russo
Venue:Logic Journal of the IGPL
Citations:6 - 3 self