Urquhart’s C with intuitionistic negation: Dummett’s LC without the contraction axiom
- Méndez, J.M.
- Salto, F.
ISSN: 1939-0726, 0029-4527
Année de publication: 1995
Volumen: 36
Número: 3
Pages: 407-413
Type: Article
Revue:
Notre Dame Journal of Formal Logic
