DMCA

A Generalization of Analytic Deduction via Labelled Deductive Systems I: Basic Substructural Logics (1995)

Cached

Download Links

by Marcello D'Agostino , Dov M. Gabbay
Venue:Journal of Automated Reasoning
Citations:52 - 8 self