Publicaciones (83) Publicaciones de GEMMA ROBLES VÁZQUEZ

2023

  1. A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable

    Journal of Philosophical Logic, Vol. 52, Núm. 3, pp. 915-938

  2. A note on functional relations in a certain class of implicative expansions of FDE related to Brady's 4-valued logic BN4

    Logic Journal of the IGPL, Vol. 31, Núm. 3, pp. 475-482

2022

  1. A 2 SET-UP BINARY ROUTLEY SEMANTICS FOR GÖDELIAN 3-VALUED LOGIC G3 AND ITS PARACONSISTENT COUNTERPART G3≤Ł

    Bulletin of the Section of Logic, Vol. 51, Núm. 4, pp. 487-505

  2. A remark on functional completeness of binary expansions of Kleene's strong 3-valued logic

    Logic Journal of the IGPL, Vol. 30, Núm. 1, pp. 21-33

  3. Relational Semantics for the Paraconsistent and Paracomplete 4-valued Logic PŁ4

    Logic and Logical Philosophy, Vol. 31, Núm. 4, pp. 665-687

2021

  1. A 2 Set-up Routley Semantics for the 4-valued Logic PŁ4

    Journal of Applied Logics, Vol. 8, Núm. 10, pp. 2435-2446

  2. A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3 DH

    Journal of Logic, Language and Information, Vol. 30, Núm. 1, pp. 117-138

  3. A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3

    Journal of Logic, Language and Information, Vol. 30, Núm. 3, pp. 533-556

  4. A Variant with the Variable-Sharing Property of Brady’s 4-Valued Implicative Expansion BN4 of Anderson and Belnap’s Logic FDE

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  5. A note on Gödel-Dummet logic lc

    Bulletin of the Section of Logic, Vol. 50, Núm. 3, pp. 325-335

  6. Basic Quasi-Boolean Expansions of Relevance Logics

    Journal of Philosophical Logic, Vol. 50, Núm. 4, pp. 727-754

  7. Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation

    Journal of Applied Non-Classical Logics, Vol. 31, Núm. 2, pp. 130-153

  8. THE CLASS OF ALL 3-VALUED IMPLICATIVE EXPANSIONS OF KLEENE'S STRONG LOGIC CONTAINING ANDERSON AND BELNAP'S FIRST DEGREE ENTAILMENT LOGIC

    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, Vol. 8, Núm. 7, pp. 2035-2071

  9. The class of all 3-valued implicative expansions of kleene’s strong logic containing anderson and belnap’s first degree entailment logic

    Journal of Applied Logics, Vol. 8, Núm. 7, pp. 2035-2071

2020

  1. A basic quasi-Boolean logic of intuitionistic character

    Journal of Applied Non-Classical Logics, Vol. 30, Núm. 4, pp. 291-311

  2. Selecting the class of all 3-valued implicative expansions of kleene's strong logic containing routley and meyer's logic b

    Logique et Analyse, Vol. 252, pp. 443-464

  3. The Class of All Natural Implicative Expansions of Kleene’s Strong Logic Functionally Equivalent to Łkasiewicz’s 3-Valued Logic Ł3

    Journal of Logic, Language and Information, Vol. 29, Núm. 3, pp. 349-374

2019

  1. Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value

    Journal of Applied Non-Classical Logics, Vol. 29, Núm. 3, pp. 307-325

  2. Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values

    Journal of Applied Non-Classical Logics, Vol. 29, Núm. 1, pp. 37-63

2018

  1. Routley-meyer ternary relational semantics for intuitionistic-type negations

    Elsevier, pp. 1-158