Urquhart’s C with intuitionistic negation: Dummett’s LC without the contraction axiom
- Méndez, J.M.
- Salto, F.
ISSN: 1939-0726, 0029-4527
Year of publication: 1995
Volume: 36
Issue: 3
Pages: 407-413
Type: Article
ISSN: 1939-0726, 0029-4527
Year of publication: 1995
Volume: 36
Issue: 3
Pages: 407-413
Type: Article