profile picture

Gemma Robles

Universidad de León
 More details
  • Universidad de León
    Associate Professor
Universidad de Salamanca
PhD
Homepage
León, CL, Spain
0000-0001-6495-0388
Areas of Specialization
Logic and Philosophy of Logic
Areas of Interest
Logic and Philosophy of Logic
  •  130
    A Routley–Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart
    Logica Universalis 7 (4): 507-532. 2013.
    Routley–Meyer semantics (RM-semantics) is defined for Gödel 3-valued logic G3 and some logics related to it among which a paraconsistent one differing only from G3 in the interpretation of negation is to be remarked. The logics are defined in the Hilbert-style way and also by means of proof-theoretical and semantical consequence relations. The RM-semantics is defined upon the models for Routley and Meyer’s basic positive logic B+, the weakest positive RM-semantics. In this way, it is to be expec…Read more
    Logic and Philosophy of LogicNonclassical LogicsRelevance Logic
  •  167
    A constructive negation for logics including TW+
    with José M. Méndez
    Journal of Applied Non-Classical Logics 15 (4): 389-404. 2005.
    The logic TW+ is positive Ticket Entailment without the contraction axiom. Constructive negation is understood in the (minimal) intuitionistic sense but without paradoxes of relevance. It is shown how to introduce a constructive negation of this kind in positive logics at least as strong as TW+. Special attention is paid to the reductio axioms. Concluding remarks about relevance, modal and entailment logics are stated. Complete relational ternary semantics are provided for the logics introduced …Read more
    Logic and Philosophy of LogicNonclassical Logics
  •  1
    The non-involutive Routley star: relevant logics without weak double negation
    Teorema: International Journal of Philosophy 29 (3): 103-116. 2010.
  •  149
    The basic constructive logic for a weak sense of consistency
    with José M. Méndez
    Journal of Logic, Language and Information 17 (1): 89-107. 2008.
    In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive logic BKc1 adequate to this sense of consistency in the ternary relational semantics without a set of designated points. Then we show how to define a series of logics extending BKc1 within the spectrum delimited by contractionless minimal intuitionistic logic. All logics defined in the paper are paraconsistent logics.
    Intuitionistic LogicSubstructural Logic
  • Relevance Logics, Paradoxes Of Consistency And The K Rule Ii
    with José Méndez
    Logic and Logical Philosophy 15 175-191. 2006.
    The logic B+ is Routley and Meyer’s basic positive logic. Wedefine the logics BK+ and BK′+ by adding to B+ the K rule and to BK+the characteristic S4 axiom, respectively. These logics are endowed witha relatively strong non-constructive negation. We prove that all the logicsdefined lack the K axiom and the standard paradoxes of consistency
    Nonclassical Logics