2008 |
7 | EE | Gemma Robles,
José M. Méndez:
The basic constructive logic for a weak sense of consistency.
Journal of Logic, Language and Information 17(1): 89-107 (2008) |
6 | EE | Gemma Robles,
José M. Méndez:
The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant.
Logic Journal of the IGPL 16(1): 33-41 (2008) |
2005 |
5 | | Gemma Robles,
José M. Méndez:
A constructive negation for logics including TW+.
Journal of Applied Non-Classical Logics 15(4): 389-404 (2005) |
4 | EE | Gemma Robles,
José M. Méndez,
Francisco Salto:
Minimal Negation in the Ternary Relational Semantics.
Reports on Mathematical Logic 39: 47-65 (2005) |
2002 |
3 | | José M. Méndez,
Francisco Salto,
Gemma Robles:
Anderson and Belnap's Minimal Positive Logic with Minimal Negation.
Reports on Mathematical Logic 36: 117-130 (2002) |
2000 |
2 | | José M. Méndez,
Francisco Salto:
Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'.
Studia Logica 66(3): 409-418 (2000) |
1995 |
1 | | José M. Méndez,
Francisco Salto:
Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom.
Notre Dame Journal of Formal Logic 36(3): 407-413 (1995) |