50 found
Sort by:
Disambiguations:
José M. Méndez [48]José María Méndez [2]
See also:
Profile: José M. Méndez (Universidad de Salamanca)
  1. José M. Méndez, A Note on "Recent Work in Relevant Logic&Quot;.
    In his paper “Recent work in relevant logic”, Jago includes a section on Disjunctive Syllogism (DS). The content of the section essentially consists of (a) a valuation of some work by Robles and Méndez on the topic as “not particularly interesting in itself”; (b) a statement establishing that “What would be interesting is to discover just how weak a relevant logic needs to be before disjunctive syllogism becomes inadmissible”. The main problem with this section of Jago’s paper on DS is (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Gemma Robles & José M. Méndez (Forthcoming). A Routley-Meyer Semantics for Truth-Preserving and Well-Determined Łukasiewicz 3-Valued Logics. Logic Journal of the IGPL.
    Łukasiewicz 3-valued logic Ł3 is often understood as the set of all valid formulas according to Łukasiewicz 3-valued matrices MŁ3. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: ‘truth-preserving’ Ł3a and ‘well-determined’ Ł3b defined by two different consequence relations on the 3-valued matrices MŁ3. The aim of this article is to provide a Routley–Meyer ternary semantics for each one of these three versions of Łukasiewicz 3-valued logic: Ł3, Ł3a and Ł3b.
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Gemma Robles & José M. Méndez (2014). Curry's Paradox, Generalized Modus Ponens Axiom and Depth Relevance. Studia Logica 102 (1):185-217.
    “Weak relevant model structures” (wr-ms) are defined on “weak relevant matrices” by generalizing Brady’s model structure ${\mathcal{M}_{\rm CL}}$ built upon Meyer’s Crystal matrix CL. It is shown how to falsify in any wr-ms the Generalized Modus Ponens axiom and similar schemes used to derive Curry’s Paradox. In the last section of the paper we discuss how to extend this method of falsification to more general schemes that could also be used in deriving Curry’s Paradox.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Gemma Robles & José M. Méndez (2014). Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle. Notre Dame Journal of Formal Logic 55 (1):107-127.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Gemma Robles, Francisco Salto & José M. Méndez (2013). Dual Equivalent Two-Valued Under-Determined and Over-Determined Interpretations for Łukasiewicz's 3-Valued Logic Ł3. Journal of Philosophical Logic (2-3):1-30.
    Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide (by using Dunn semantics) dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of Routley (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. José María Méndez (2012). ¿Crisis Económica o Crisis de Valores?: Una Propuesta Axiológica. Sepha Edición y Diseño.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  7. Gemma Robles & José M. Méndez (2012). A General Characterization of the Variable-Sharing Property by Means of Logical Matrices. Notre Dame Journal of Formal Logic 53 (2):223-244.
    As is well known, the variable-sharing property (vsp) is, according to Anderson and Belnap, a necessary property of any relevant logic. In this paper, we shall consider two versions of the vsp, what we label the "weak vsp" (wvsp) and the "strong vsp" (svsp). In addition, the "no loose pieces property," a property related to the wvsp and the svsp, will be defined. Each one of these properties shall generally be characterized by means of a class of logical matrices. In (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Jose M. Mendez, Gemma Robles & Francisco Salto (2011). Adding the Disjunctive Syllogism to Relevant Logics Including TW Plus the Contraction and Reductio Rules. Logique Et Analyse 215:343-358.
     
    My bibliography  
     
    Export citation  
  9. Gemma Robles & José M. Méndez (2011). A Routley-Meyer Semantics for Relevant Logics Including TWR Plus the Disjunctive Syllogism. Logic Journal of the IGPL 19 (1):18-32.
    We provide Routley-Meyer type semantics for relevant logics including Contractionless Ticket Entailment TW (without the truth constant t and o) plus reductio R and Ackermann’s rule γ (i.e., disjunctive syllogism). These logics have the following properties. (i) All have the variable sharing property; some of them have, in addition, the Ackermann Property. (ii) They are stable. (iii) Inconsistent theories built upon these logics are not necessarily trivial.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  10. Gemma Robles, Francisco Salto & José M. Méndez (2011). A Weak Logic with the Axiom Mingle Lacking the Variable-Sharing Property. Bulletin of the Section of Logic 40 (3/4):195-202.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. José M. Méndez (2010). A Routley-Meyer Semantics for Ackermann's Logics of “Strenge Implication”. Logic and Logical Philosophy 18 (3-4):191-219.
    The aim of this paper is to provide a Routley-Meyer semantics for Ackermann’s logics of “strenge Implikation” Π ′ and Π ′′ . Besides the Disjunctive Syllogism, this semantics validates the rules Necessitation and Assertion. Strong completeness theorems for Π ′ and Π ′′ are proved. A brief discussion on Π ′ , Π ′′ and paraconsistency is included.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  12. José M. Méndez (2010). Erratum To: The Compatibility of Relevance and Mingle. [REVIEW] Journal of Philosophical Logic 39 (3):339-339.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. Gemma Robles & José M. Méndez (2010). A Routley-Meyer Type Semantics for Relevant Logics Including B R Plus the Disjunctive Syllogism. Journal of Philosophical Logic 39 (2):139 - 158.
    Routley-Meyer type ternary relational semantics are defined for relevant logics including Routley and Meyer’s basic logic B plus the reductio rule and the disjunctive syllogism. Standard relevant logics such as E and R (plus γ ) and Ackermann’s logics of ‘strenge Implikation’ Π and Π ′ are among the logics considered.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. Gemma Robles & José M. Méndez (2010). Axiomatizing S4+ and J+ Without the Suffixing, Prefixing and Self-Distribution of the Conditional Axioms. Bulletin of the Section of Logic 39 (1/2):79-91.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Gemma Robles & José M. Méndez (2010). Paraconsistent Logics Included in Lewis’ S4. Review of Symbolic Logic 3 (03):442-466.
    As is known, a logic S is paraconsistent if the rule ECQ (E contradictione quodlibet) is not a rule of S. Not less well known is the fact that Lewis’ modal logics are not paraconsistent. Actually, Lewis vindicates the validity of ECQ in a famous proof currently known as the “Lewis’ proof” or “Lewis’ argument.” This proof essentially leans on the Disjunctive Syllogism as a rule of inference. The aim of this paper is to define a series of paraconsistent logics (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  16. Gemma Robles, José M. Méndez & Francisco Salto (2010). A Modal Restriction of R-Mingle with the Variable-Sharing Property. Logic and Logical Philosophy 19 (4):341-351.
    A restriction of R-Mingle with the variable-sharing property and the Ackermann properties is defined. From an intuitive semantical point of view, this restriction is an alternative to Anderson and Belnap’s logic of entailment E.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  17. José M. Méndez & Gemma Robles (2009). The Basic Constructive Logic for Absolute Consistency. Journal of Logic, Language and Information 18 (2):199-216.
    In this paper, consistency is understood as absolute consistency (i.e. non-triviality). The basic constructive logic BKc6, which is adequate to this sense of consistency in the ternary relational semantics without a set of designated points, is defined. Then, it is shown how to define a series of logics by extending BKc6 up to contractionless intuitionistic logic. All logics defined in this paper are paraconsistent logics.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  18. Gemma Robles & José M. Méndez (2009). Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency. Journal of Logic, Language and Information 18 (3):357-402.
    In a standard sense, consistency and paraconsistency are understood as the absence of any contradiction and as the absence of the ECQ (‘E contradictione quodlibet’) rule, respectively. The concepts of weak consistency (in two different senses) as well as that of F -consistency have been defined by the authors. The aim of this paper is (a) to define alternative (to the standard one) concepts of paraconsistency in respect of the aforementioned notions of weak consistency and F -consistency; (b) to define (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  19. Gemma Robles & José M. Méndez (2009). The Basic Constructive Logic for Weak Consistency and the Reductio Axioms. Bulletin of the Section of Logic 38 (1/2):61-76.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. José M. Méndez & Gemma Robles (2008). Relevance Logics and Intuitionistic Negation. Journal of Applied Non-Classical Logics 18 (1):49-65.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  21. Gemma Robles & José M. Méndez (2008). The Basic Constructive Logic for a Weak Sense of Consistency. Journal of Logic, Language and Information 17 (1):89-107.
    In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive logic BKc1 adequate to this sense of consistency in the ternary relational semantics without a set of designated points. Then we show how to define a series of logics extending BKc1 within the spectrum delimited by contractionless minimal intuitionistic logic. All logics defined in the paper are paraconsistent logics.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  22. Gemma Robles, Francisco Salto & Jose M. Mendez (2008). Exhaustively Axiomatizing S3 (->) Degrees and S4 (->) Degrees. Teorema 27 (2):79-89.
     
    My bibliography  
     
    Export citation  
  23. Gemma Robles, Francisco Salto & José M. Méndez (2008). Exhaustively Axiomatizing S3°→ and S4°→. Teorema 27 (2):79-89.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. José M. Méndez & Gemma Robles (2007). Relevance Logics, Paradoxes of Consistency and the K Rule II. A Non-Constructive Negation. Logic and Logical Philosophy 15 (3):175-191.
    The logic B+ is Routley and Meyer’s basic positive logic. We define the logics BK+ and BK'+ by adding to B+ the K rule and to BK+ the characteristic S4 axiom, respectively. These logics are endowed with a relatively strong non-constructive negation. We prove that all the logics defined lack the K axiom and the standard paradoxes of consistency.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  25. José M. Méndez, Gemma Robles & Francisco Salto (2007). The Basic Constructive Logic for Negation-Consistency Defined with a Propositional Falsity Constant. Bulletin of the Section of Logic 36 (1-2):45-58.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. José M. Méndez, Francisco Salto & Gemma Robles (2007). El Sistema Bp+ : Una Lógica Positiva Mínima Para la Negación Mínima (the System Bp+: A Minimal Positive Logic for Minimal Negation). Theoria 22 (1):81-91.
    Entendemos el concepto de “negación mínima” en el sentido clásico definido por Johansson. El propósito de este artículo es definir la lógica positiva mínima Bp+, y probar que la negación mínima puede introducirse en ella. Además, comentaremos algunas de las múltiples extensiones negativas de Bp+.“Minimal negation” is classically understood in a Johansson sense. The aim of this paper is to define the minimal positive logic Bp+ and prove that a minimal negation can be inroduced in it. In addition, some of (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. Gemma Robles & José M. Méndez (2006). Converse Ackermann Property and Constructive Negation Defined with a Negation Connective. Logic and Logical Philosophy 15 (2):113-130.
    The Converse Ackermann Property is the unprovability of formulas of the form (A -> B) -> C when C does contain neither -> nor ¬. Intuitively, the CAP amounts to rule out the derivability of pure non-necessitive propositions from non-necessitive ones. A constructive negation of the sort historically defined by, e.g., Johansson is added to positive logics with the CAP in the spectrum delimited by Ticket Entailment and Dummett’s logic LC.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  28. Gemma Robles & José M. Méndez (2005). A Constructive Negation for Logics Including TW+. Journal of Applied Non-Classical Logics 15 (4):389-404.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  29. Gemma Robles & José M. Méndez (2005). Constructive Negation Defined with a Falsity Constant for Positive Logics with the CAP Defined with a Truth Constant A. Logique Et Analyse 48 (192):87-100.
     
    My bibliography  
     
    Export citation  
  30. Gemma Robles & José M. Méndez (2005). Relational Ternary Semantics for a Logic Equivalent to Involutive Monoidal T-Norm Based Logic IMTL. Bulletin of the Section of Logic 34 (2):101-116.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. Gemma Robles & José M. Méndez (2005). Two Versions of Minimal Intuitionism with the Cap. A Note. Theoria 20 (2):183-190.
    Two versions of minimal intuitionism are defined restricting Contraction. Both are defined by means of a falsity constant F. The first one follows the historical trend, the second is the result of imposing specialconstraints on F. RelationaI ternary semantics are provided.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  32. Gemma Robles, Francisco Salto & José M. Méndez (2005). A Constructive Negation Defined with a Negation Connective for Logics Including Bp+. Bulletin of the Section of Logic 34 (3):177-190.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. Gemma Robles & José M. Méndez (2004). The Logic B and the Reductio Axioms. Bulletin of the Section of Logic 33 (2):87-94.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. Vladimir Markin, Dmitry Zaitsev, Imaginary Logic, Lloyd Humberstone, Implicational Converses, Jose M. Mendez, Francisco Salto, Pedro Mendez, Roger Vergauwen & Ray Lam (2002). Tjeerd B. Jongeling, Teun Koetsier & Evert Wattel, a Logical Approach to Qualitative Reasoning With'several'... 15. Logique Et Analyse 45:1.
     
    My bibliography  
     
    Export citation  
  35. Jose M. Mendez (2002). Four Kinds of Subminimal Negation Within the Context of the Basic Positive Logic B+ Jose M. Mendez, Francisco Salto and Pedro Mendez R. Logique Et Analyse 45 (178):119-128.
     
    My bibliography  
     
    Export citation  
  36. Francisco Salto, José M. Méndez & Gemma Robles (2001). Restricting the Contraction Axiom in Dummett's LC: A Sublogic of LC with the Converse Ackermann Property, the Logic LCo. Bulletin of the Section of Logic 30 (3):139-146.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. Francisco Salto & José M. Méndez (1999). Two Extensions of Lewis' S3 with Peirce's Law. Theoria 14 (3):407-411.
    We define two extensions of Lewis’ S3 with two versions of Peirce’s Law. We prove that both of them have the Ackermann Property.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. Francisco Salto, Gemma Robles & José M. Méndez (1999). Exhaustively Axiomatizing Rmo→ with a Select List of Representative Theses Including Restricted Mingle Principles. Bulletin of the Section of Logic 28 (4):195-206.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. José M. Mendez & Francisco Salto (1998). A Natural Negation Completion of Urquhart's Many-Valued Logic C. Journal of Philosophical Logic 27 (1):75-84.
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  40. José María Méndez (1995). El conocimiento axiológico. Revista Agustiniana 36 (110):361-388.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  41. José M. Méndez (1990). Exhaustively Axiomatizing RMO with an Appropiate Extension of Anderson and Belnap's “Strong and Natural List of Valid Entailments”. Theoria 5 (1):223-228.
    RMO -> is the result of adding the ‘mingle principle’ (viz. A-> (A -> A)) to Anderson and Belnap’s implicative logic of relevance R->. The aim of this paper is to provide all possible axiomatizations with independent axioms of RMO -> formulable with Anderson and Belnap’s list extended with three characteristic minglish principles.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. José M. Méndez (1990). Urquhart'sc with Minimal Negation. Bulletin of the Section of Logic 19 (1):15-20.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  43. José M. Mendez (1988). 1. Select List of Representative Theses. Bulletin of the Section of Logic 17 (1):15-20.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  44. José M. Méndez (1988). Converse Ackermann Croperty and Semiclassical Negation. Studia Logica 47 (2):159 - 168.
    A prepositional logic S has the Converse Ackermann Property (CAP) if (AB)C is unprovable in S when C does not contain . In A Routley-Meyer semantics for Converse Ackermann Property (Journal of Philosophical Logic, 16 (1987), pp. 65–76) I showed how to derive positive logical systems with the CAP. There I conjectured that each of these positive systems were compatible with a so-called semiclassical negation. In the present paper I prove that this conjecture was right. Relational Routley-Meyer type semantics are (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  45. José M. Méndez (1988). The Compatibility of Relevance and Mingle. Journal of Philosophical Logic 17 (3):279 - 297.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  46. José M. Méndez (1987). Axiomatizing E→ and R→ with Anderson and Belnap's 'Strong and Natural'list of Valid Entailments. Bulletin of the Section of Logic 16 (1):2-7.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. José M. Méndez (1987). A Routley-Meyer Semantics for Converse Ackermann Property. Journal of Philosophical Logic 16 (1):65 - 76.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  48. José M. Méndez (1987). Constructive R. Bulletin of the Section of Logic 16 (4):167-173.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  49. José M. Méndez (1986). Una crítica inmanente de la lógica de la relevancia. Crítica 18 (52):61 - 94.
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. José M. Méndez (1985). Systems with the Converse Ackermann Property. Theoria 1 (1):253-258.
    A system S has the “converse Ackermann property” (C.A.P.) if (A -> B) -> C is unprovable in S whenever C is a propositional variable. In this paper we define the fragments with the C.A.P. of some well-know propositional systems in the spectrum between the minimal and classical logic. In the first part we succesively study the implicative and positive fragments and the full calculi. In the second, we prove by a matrix method that each one of the systems has (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation