Abstract
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.
Citation
José M. Méndez. Francisco Salto. "Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom." Notre Dame J. Formal Logic 36 (3) 407 - 413, Summer 1995. https://doi.org/10.1305/ndjfl/1040149356
Information