Journal article

Displaying and deciding substructural logics 1: Logics with contraposition

G Restall

Journal of Philosophical Logic | KLUWER ACADEMIC PUBL | Published : 1998