José M. Méndez

50 papers Journal 50

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	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 Gemma Robles, José M. Méndez
2024	J	`jnl`	The lattice of all 4-valued implicative expansions of Belnap-Dunn logic containing Routley and Meyer's basic logic B Log. J. IGPL Gemma Robles, José M. Méndez
2023	J	`jnl`	A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable. J. Philos. Log. Gemma Robles, José M. Méndez
2023	J	`jnl`	A Variety of DeMorgan Negations in Relevant Logics. Australas. J. Log. Gemma Robles, José M. Méndez
2023	J	`jnl`	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 Gemma Robles, José M. Méndez
2022	J	`jnl`	A remark on functional completeness of binary expansions of Kleene's strong 3-valued logic. Log. J. IGPL Gemma Robles, José M. Méndez
2021	J	`jnl`	A 2 Set-up Routley Semantics for the 4-valued Logic PL4. FLAP Gemma Robles, José M. Méndez
2021	J	`jnl`	A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3 J. Log. Lang. Inf. Gemma Robles, José M. Méndez
2021	J	`jnl`	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. Gemma Robles, José M. Méndez
2021	J	`jnl`	Basic Quasi-Boolean Expansions of Relevance Logics. J. Philos. Log. Gemma Robles, José M. Méndez
2021	J	`jnl`	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 Gemma Robles, José M. Méndez
2020	J	`jnl`	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. Gemma Robles, José M. Méndez
2019	J	`jnl`	Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value. J. Appl. Non Class. Logics Gemma Robles, Francisco Salto, José M. Méndez
2019	J	`jnl`	Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values. J. Appl. Non Class. Logics Gemma Robles, José M. Méndez
2019	J	`jnl`	Partiality and its dual in natural implicative expansions of Kleene's strong 3-valued matrix with only one designated value. Log. J. IGPL Gemma Robles, José M. Méndez
2016	J	`jnl`	A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4. Log. J. IGPL Gemma Robles, José M. Méndez
2016	J	`jnl`	An Interpretation of Łukasiewicz's 4-Valued Modal Logic. J. Philos. Log. José M. Méndez, Gemma Robles, Francisco Salto
2016	J	`jnl`	Strengthening Brady's Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators. J. Log. Lang. Inf. José M. Méndez, Gemma Robles
2016	J	`jnl`	The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic. J. Appl. Non Class. Logics José M. Méndez, Gemma Robles
2015	J	`jnl`	A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes. Logica Universalis José M. Méndez, Gemma Robles
2015	J	`jnl`	A binary Routley semantics for intuitionistic De Morgan minimal logic H Log. J. IGPL Gemma Robles, José M. Méndez
2014	J	`jnl`	A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics. Log. J. IGPL Gemma Robles, José M. Méndez
2014	J	`jnl`	A paraconsistent 3-valued logic related to Gödel logic G3. Log. J. IGPL Gemma Robles, José M. Méndez
2014	J	`jnl`	Blocking the Routes to Triviality with Depth Relevance. J. Log. Lang. Inf. Gemma Robles, José M. Méndez
2014	J	`jnl`	Curry's Paradox, Generalized Modus Ponens Axiom and Depth Relevance. Stud Logica Gemma Robles, José M. Méndez
2014	J	`jnl`	Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3. J. Philos. Log. Gemma Robles, Francisco Salto, José M. Méndez
2014	J	`jnl`	Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle. Notre Dame J. Formal Log. Gemma Robles, José M. Méndez
2014	J	`jnl`	The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points. J. Appl. Non Class. Logics Gemma Robles, José M. Méndez
2012	J	`jnl`	A General Characterization of the Variable-Sharing Property by Means of Logical Matrices. Notre Dame J. Formal Log. José M. Méndez, Gemma Robles
2012	J	`jnl`	Ticket Entailment plus the mingle axiom has the variable-sharing property. Log. J. IGPL José M. Méndez, Gemma Robles, Francisco Salto
2011	J	`jnl`	A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism. Log. J. IGPL Gemma Robles, José M. Méndez
2010	J	`jnl`	A Routley-Meyer Type Semantics for Relevant Logics Including B J. Philos. Log. Gemma Robles, José M. Méndez
2010	J	`jnl`	Erratum to: The Compatibility of Relevance and Mingle. J. Philos. Log. José M. Méndez
2010	J	`jnl`	Paraconsistent Logics Included in Lewis' S4. Rev. Symb. Log. Gemma Robles, José M. Méndez
2009	J	`jnl`	Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency. J. Log. Lang. Inf. Gemma Robles, José M. Méndez
2009	J	`jnl`	The Basic Constructive Logic for Absolute Consistency. J. Log. Lang. Inf. José M. Méndez, Gemma Robles
2008	J	`jnl`	Hypergraphics for History Teaching - Barriers for Causal Reasoning about History Accounts. J. Educ. Technol. Soc. José M. Méndez, Manuel Montanero
2008	J	`jnl`	Relevance logics and intuitionistic negation. J. Appl. Non Class. Logics José M. Méndez, Gemma Robles
2008	J	`jnl`	The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant. Log. J. IGPL Gemma Robles, José M. Méndez
2008	J	`jnl`	The basic constructive logic for a weak sense of consistency. J. Log. Lang. Inf. Gemma Robles, José M. Méndez
2007	J	`jnl`	Minimal non-relevant logics without the K axiom. Reports Math. Log. Gemma Robles, José M. Méndez
2005	J	`jnl`	A constructive negation for logics including TW+. J. Appl. Non Class. Logics Gemma Robles, José M. Méndez
2005	J	`jnl`	Minimal Negation in the Ternary Relational Semantics. Reports Math. Log. Gemma Robles, José M. Méndez, Francisco Salto
2002	J	`jnl`	Anderson and Belnap's Minimal Positive Logic with Minimal Negation. Reports Math. Log. José M. Méndez, Francisco Salto, Gemma Robles
2000	J	`jnl`	Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'. Stud Logica José M. Méndez, Francisco Salto
1998	J	`jnl`	A Natural Negation Completion of Urquhart's Many-Valued Logic C. J. Philos. Log. José M. Méndez, Francisco Salto
1995	J	`jnl`	Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom. Notre Dame J. Formal Log. José M. Méndez, Francisco Salto
1988	J	`jnl`	Converse Ackermann Croperty and semiclassical negation. Stud Logica José M. Méndez
1988	J	`jnl`	The compatibility of relevance and mingle. J. Philos. Log. José M. Méndez
1987	J	`jnl`	A Routley-Meyer semantics for converse Ackermann Property. J. Philos. Log. José M. Méndez