dblp.uni-trier.dewww.uni-trier.de

José M. Méndez

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
7EEGemma 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)
6EEGemma 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)
4EEGemma 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)

Coauthor Index

1Gemma Robles [3] [4] [5] [6] [7]
2Francisco Salto [1] [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)