FILOSOFÍA
Escuela de doctorado
![Foto de FILOSOFÍA](/img/noimage.png)
![Foto de Universidad de León](/img/noimage_org.png)
Universidad de León
León, EspañaPublicaciones en colaboración con investigadores/as de Universidad de León (39)
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 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
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 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
2020
-
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
-
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
-
Routley-meyer ternary relational semantics for intuitionistic-type negations
Elsevier, pp. 1-158
2016
-
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
-
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
-
An Interpretation of Łukasiewicz’s 4-Valued Modal Logic
Journal of Philosophical Logic, Vol. 45, Núm. 1, pp. 73-87
-
Relational semantics for the 4-valued relevant logics BN4 and E4
Logic and Logical Philosophy, Vol. 25, Núm. 2, pp. 173-201
-
Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators
Journal of Logic, Language and Information, Vol. 25, Núm. 2, pp. 163-189