Urquhart’s C with intuitionistic negation: Dummett’s LC without the contraction axiom
- Méndez, J.M.
- Salto, F.
ISSN: 1939-0726, 0029-4527
Ano de publicación: 1995
Volume: 36
Número: 3
Páxinas: 407-413
Tipo: Artigo
ISSN: 1939-0726, 0029-4527
Ano de publicación: 1995
Volume: 36
Número: 3
Páxinas: 407-413
Tipo: Artigo