José M. Méndez
Orcid: 0000-0002-9560-3327
According to our database1,
José M. Méndez
authored at least 49 papers
between 1987 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Correction to: A note on functional relations in a certain class of implicative expansions of FDE related to Brady's 4-valued logic BN4.
Log. J. IGPL, 2024
The lattice of all 4-valued implicative expansions of Belnap-Dunn logic containing Routley and Meyer's basic logic B<i>d</i>.
Log. J. IGPL, 2024
2023
A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable.
J. Philos. Log., June, 2023
A note on functional relations in a certain class of implicative expansions of FDE related to Brady's 4-valued logic BN4.
Log. J. IGPL, May, 2023
2022
A remark on functional completeness of binary expansions of Kleene's strong 3-valued logic.
Log. J. IGPL, 2022
2021
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.
J. Log. Lang. Inf., 2021
A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3<sub> DH</sub>.
J. Log. Lang. Inf., 2021
Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation.
J. Appl. Non Class. Logics, 2021
2020
The Class of All Natural Implicative Expansions of Kleene's Strong Logic Functionally Equivalent to Łkasiewicz's 3-Valued Logic Ł3.
J. Log. Lang. Inf., 2020
2019
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value.
J. Appl. Non Class. Logics, 2019
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values.
J. Appl. Non Class. Logics, 2019
Partiality and its dual in natural implicative expansions of Kleene's strong 3-valued matrix with only one designated value.
Log. J. IGPL, 2019
2016
Strengthening Brady's Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators.
J. Log. Lang. Inf., 2016
The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic.
J. Appl. Non Class. Logics, 2016
A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4.
Log. J. IGPL, 2016
2015
Logica Universalis, 2015
A binary Routley semantics for intuitionistic De Morgan minimal logic H<sub>M</sub> and its extensions.
Log. J. IGPL, 2015
2014
Stud Logica, 2014
Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle.
Notre Dame J. Formal Log., 2014
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.
J. Philos. Log., 2014
The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points.
J. Appl. Non Class. Logics, 2014
A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics.
Log. J. IGPL, 2014
2012
A General Characterization of the Variable-Sharing Property by Means of Logical Matrices.
Notre Dame J. Formal Log., 2012
Log. J. IGPL, 2012
2011
A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism.
Log. J. IGPL, 2011
2010
A Routley-Meyer Type Semantics for Relevant Logics Including B<sub>r</sub> Plus the Disjunctive Syllogism.
J. Philos. Log., 2010
2009
Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency.
J. Log. Lang. Inf., 2009
2008
J. Log. Lang. Inf., 2008
The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant.
Log. J. IGPL, 2008
Hypergraphics for History Teaching - Barriers for Causal Reasoning about History Accounts.
J. Educ. Technol. Soc., 2008
2007
2005
2002
Reports Math. Log., 2002
2000
Stud Logica, 2000
1998
J. Philos. Log., 1998
1995
Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom.
Notre Dame J. Formal Log., 1995
1988
1987