Constructive Logic with Strong Negation is a Substructural Logic. II.

Matthew Spinks Robert Veroff Constructive Logic with Strong Negation is a Substructural Logic. II. 401-425 2008 89 Studia Logica 3 http://dx.doi.org/10.1007/s11225-008-9138-1 db/journals/sLogica/sLogica89.html#SpinksV08a