A constructive negation for logics including TW+
- Robles, G.
- Méndez, J.M.
ISSN: 1166-3081, 1958-5780
Year of publication: 2005
Volume: 15
Issue: 4
Pages: 389-404
Type: Article
ISSN: 1166-3081, 1958-5780
Year of publication: 2005
Volume: 15
Issue: 4
Pages: 389-404
Type: Article