Publications en collaboration avec des chercheurs de Universidad de Salamanca (56)

2024

  1. The lattice of all 4-valued implicative expansions of Belnap-Dunn logic containing Routley and Meyer's basic logic Bd

    Logic Journal of the IGPL, Vol. 32, Núm. 3, pp. 493-516

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 note on Gödel-Dummet logic lc

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

  5. Basic Quasi-Boolean Expansions of Relevance Logics

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

  6. 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

2020

  1. 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

  2. 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

2016

  1. A 2-set-up Routley-Meyer semantics for the 4-valued relevant logic E4

    Bulletin of the Section of Logic, Vol. 45, Núm. 2, pp. 93-109

  2. A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4

    Logic Journal of the IGPL, Vol. 24, Núm. 5, pp. 838-858

  3. An Interpretation of Łukasiewicz’s 4-Valued Modal Logic

    Journal of Philosophical Logic, Vol. 45, Núm. 1, pp. 73-87