Grupo de investigación en Lógica Filosófica

Proyecto actual: publicaciones

Artículos

2009

MÉNDEZ, J. M., A Routley-Meyer semantics for Ackermann's logics of 'strenge Implikation', Logic and Logical Philosophy (aceptado).

MÉNDEZ, J. M., ROBLES, G., SALTO, F., Paraconsistency and consistency understood as the absence of the negation of any implicative theorem (abstract), Bulletin of Symbolic Logic (aceptado).

ROBLES, G.,Paraconsistent logics included in Lewis’ S4 (abstract), Bulletin of Symbolic Logic (aceptado).

ROBLES, G., MÉNDEZ J. M., Axiomatizing S4+ and J+ without the suffixing, Prefixing and self-distribution of the conditional axioms, Bulletin of the Section of Logic (aceptado).

ROBLES, G., MÉNDEZ J. M., A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism, Logic Journal of the IGPL doi: 1093/jigpal/jzp083, 2010.

ROBLES. G., Relevance logics and intuitionistic negation II. Negation introduced with the unary connective, Journal of Applied Non-Classical Logics 19/3, 317-388, 2009.

ROBLES, G., Weak consistency and strong paraconsistency, Triple C (Open Access Journal for a Global Sustainable Information Society), 7(2), 185-193, 2009.

Artículo disponible online

ROBLES, G., MÉNDEZ, J. M., A Routley-Meyer Type Semantics for Relevant Logics Including Br Plus the Disjunctive Syllogism, Journal of Philosophical Logic, DOI 10.1007/s10992-009-9117-7, 2009.

Artículo disponible online

ROBLES, G., MÉNDEZ, J. M., Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency, Journal of Logic, Language and Information, 18/3, 357-402, 2009.

Artículo disponible online

ROBLES, G., MÉNDEZ, J. M., The Basic Constructive Logic for Weak Consistency and the Reductio Axioms, Bulletin of the Section of Logic, 38/1-2, 61-76, 2009.

Libros

2009

ROBLES, G., MÉNDEZ, J. M., Consistencia débil y paraconsistencia fuerte. Publicaciones del GLF No. 1. ISBN: 978-84-692-0032-2. Salamanca, 2009.

PDF

ROBLES, G., MÉNDEZ, J. M., On Defining Constructive Negation in Logics of Entailment, en Dimensions of Logical Concepts, (ed. por Jean-Yves Béziau y Alexandre Costa-Leite) Coleção CLE, volumen 54, UNICAMP, Campinas, Brazil. ISBN: 978-85-86497-05-6, 2009, 265-277.

 

Artículos en vías de publicación

MÉNDEZ, J. M., ROBLES, G., SALTO, F.,  "Adding the disjunctive syllogism to relevant logics including TW plus the contraction and reductio rules".

ROBLES, G., "The non-involutive Routley star: relevant logics without weak double negation".

ROBLES, G., MÉNDEZ, J. M., "Paraconsistency and consistency understood as the absence of the negation of any implicative theorem".

ROBLES, G., MÉNDEZ, J. M., "Paraconsistent logics included in Lewis’ S4".

 

Proyecto FFI2008-05859, MICINN, 2008-2011

 

GLF Inicio

Miembros

Archivo

Rincón docente

Enlaces