Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom
José M. Méndez, Francisco Salto · Notre Dame Journal of Formal Logic · 1995
This paper offers a particular intuitionistic negation completion of Urquhart's system C resulting in a super-intuitionistic contractionless propositional logic equivalent to Dummett's LC without contraction.