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:7 - 4 self