Gemma
Robles Vázquez
Universidad de León
León, EspañaPublications en collaboration avec des chercheurs de Universidad de León (51)
2024
-
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
-
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
-
A Variety of DeMorgan Negations in Relevant Logics
The Australasian Journal of Logic, Vol. 20, Núm. 2, pp. 348-374
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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)
-
A note on Gödel-Dummet logic lc
Bulletin of the Section of Logic, Vol. 50, Núm. 3, pp. 325-335
-
Basic Quasi-Boolean Expansions of Relevance Logics
Journal of Philosophical Logic, Vol. 50, Núm. 4, pp. 727-754
-
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
-
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
-
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
-
A basic quasi-Boolean logic of intuitionistic character
Journal of Applied Non-Classical Logics, Vol. 30, Núm. 4, pp. 291-311
-
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
-
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
-
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