Results for 'José María Méndez'

999 found
Order:
  1. Four Kinds of Subminimal Negation Within the Context of the Basic Positive Logic B+ Jose M. Mendez, Francisco Salto and Pedro Mendez R.Jose M. Mendez - 2002 - Logique Et Analyse 45 (178):119-128.
     
    Export citation  
     
    Bookmark  
  2. El conocimiento axiológico.José María Méndez - 1995 - Revista Agustiniana 36 (110):361-388.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. ¿Crisis Económica o Crisis de Valores?: Una Propuesta Axiológica.José María Méndez - 2012 - Sepha Edición y Diseño.
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  7
    Niel-Douglas-Klotz, Oraciones del Cosmos. Meditaciones sobre el mensaje de Jesús en arameo (Traducción al español de María Giselle Rubio Tovar), Editorial Universidad Bolivariana, Santiago de Chile, 2007, 138 p. [REVIEW]José Méndez - 2007 - Polis 18.
    El Padre en el Antiguo TestamentoVivir la experiencia de ser Padre en la historia de la humanidad ha sido siempre un gran desafió. A través de los testimonios de diversas culturas es posible rescatar los significados y características del ser padre, desde ser administrador de los conocimientos ancestrales y la comunicación con la divinidad, los ciclos de la tierra, los tiempos de siembra y cosecha, los tiempos de las artes y los tiempos de la guerra. Así reconocemos las aracterísticas del (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. Predicting and 3D Modeling of Karst Zones Using Seismic Facies Analysis in Ordovician Carbonates of the Tahe Oilfield, China.José N. Méndez, Qiang Jin, María González, Wei Hehua & Cyril D. Boateng - forthcoming - Interpretation:1-43.
    Karsted carbonates of the Ordovician Yingshan Formation represent significant hydrocarbon reservoirs in the Tarim Basin, China. Due to the geological complexity of the formation, realistically predicting and modeling karst zones and rock properties is challenging. This drives the need to apply diverse techniques for building a suitable geological model. We propose a static model approach that utilizes fully automated seismic facies classification processes for predicting and modeling patterns associated with karst elements. The proposed method uses a seismic attribute and well (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Bleeding Words: Louise Bourgeois' and José Leonilson's Love Images.Beck Ana Lucia & Berwanger Maria - 2016 - PKn Comparative Literature 39 (JUNE 2016):141-161.
    As one tries to grasp love and its images within José Leonilson's production, a multiplicity of aspects and meanings are seen that also relate to Louise Bourgeois's oeuvre in regard to the interest in human relations. Through a comparative approach to both artists' poetics, an understanding is created that love is not a simplistic action and all the words read in or applied to their visual discourse must be considered within a wide range of love in visual and literary (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  7. Liberales: Compromiso Cívico Con la Virtud.Lassalle Ruiz & José María - 2010 - Debate.
    Fue en Inglaterra donde apareció por vez primera un individualismo virtuoso comprometido con la defensa pública de la libertad frente a la amenaza del absolutismo. Allí surgió un discurso político liberal-republicano que defendió que el bien público y el interés privado fueran de la mano. Así, el liberalismo nació como un discurso público y privado de la virtud individual que tenía la vocación de frenar cualquier arrogancia despótica. Pero en la segunda mitad del siglo XX una tendencia neoliberal y libertaria (...)
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  43
    La Fiesta en torno de la Virgen María de Guadalupe (The Feast around the Virgin Mary of Guadalupe) - DOI: 10.5752/P.2175-5841.2011v9n20p9. [REVIEW]Pedro Alarcon Mendez - 2011 - Horizonte 9 (20):9-40.
    Através de algumas considerações de caráter teológico, pretendemos mostrar que a festa da Virgem Maria de Guadalupe tem profundo enraizamento no coração do povo de Deus, por duas razões fundamentais: Primeiro: a devoção à "Guadalupana" nos remete à Palavra de Deus, que instrui nossa fé; e segundo, tal devoção se funda em uma verdadeira epifania profética. A reflexão teológica se sustenta em algumas idéias centrais: Guadalupe permite a reestruturação da consciência indígena. Analogicamente, Guadalupe permite nomear a Deus em três modos: (...)
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  39
    A Note on "Recent Work in Relevant Logic".José M. Méndez - manuscript
    In his paper “Recent work in relevant logic”, Jago includes a section on Disjunctive Syllogism . 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  25
    Aesthetic Insight: The Aesthetic Value of Damaged Environments.Alcaraz León & María José - 2013 - Estetika 50 (2):169-186.
    In this article I start by assuming that positive aesthetic experiences of damaged nature are possible and I argue for the idea that the aesthetic pleasure derived from that contemplation might reveal something of the environment’s overall character. I hope to show that positive aesthetic experiences sometimes help to promote emotional attitudes that can lead to insight into the configuration of other non-aesthetic attitudes. In order to do so, I critically appeal to some of the thoughts Kant articulated about the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. A Three-Dimensional Theory of Law.Falcón Y. Tella & María José - 2010 - Martinus Nijhoff Publishers.
     
    Export citation  
     
    Bookmark  
  12.  22
    Equity and Law.Falcón Y. Tella & María José - 2008 - Martinus Nijhoff Publishers.
    In this book, as in various earlier studies of the author, she uses the three-dimensional method, which facilitates a stratified focus in agreement with three ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. Estudios de Filosofía Jurídica y Política.Falcón Y. Tella & María José - 2009 - Unam, Instituto de Investigaciones Jurídicas.
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Autism: The Micro-Movement Perspective.Elizabeth B. Torres, Maria Brincker, Robert W. Isenhower, Polina Yanovich, Kimberly Stigler, John I. Nurnberger, Dimitri N. Metaxas & Jorge V. Jose - 2013 - Frontiers Integrated Neuroscience 7 (32).
    The current assessment of behaviors in the inventories to diagnose autism spectrum disorders (ASD) focus on observation and discrete categorizations. Behaviors require movements, yet measurements of physical movements are seldom included. Their inclusion however, could provide an objective characterization of behavior to help unveil interactions between the peripheral and the central nervous systems. Such interactions are critical for the development and maintenance of spontaneous autonomy, self-regulation and voluntary control. At present, current approaches cannot deal with the heterogeneous, dynamic and stochastic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  15.  59
    The Basic Constructive Logic for a Weak Sense of Consistency.Gemma Robles & José M. Méndez - 2008 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  16. A Routley-Meyer Semantics for Ackermann's Logics of “Strenge Implication”.José M. Méndez - 2009 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17. A Modal Restriction of R-Mingle with the Variable-Sharing Property.Gemma Robles, José M. Méndez & Francisco Salto - 2010 - 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 (8 more)  
     
    Export citation  
     
    Bookmark  
  18.  24
    Dual Equivalent Two-Valued Under-Determined and Over-Determined Interpretations for Łukasiewicz's 3-Valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  22
    A General Characterization of the Variable-Sharing Property by Means of Logical Matrices.Gemma Robles & José M. Méndez - 2012 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20. A Routley-Meyer Semantics for Relevant Logics Including TWR Plus the Disjunctive Syllogism.Gemma Robles & José M. Méndez - 2011 - 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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  30
    Relevance Logics, Paradoxes of Consistency and the K Rule II. A Non-Constructive Negation.José M. Méndez & Gemma Robles - 2007 - 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)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  49
    Curry’s Paradox, Generalized Modus Ponens Axiom and Depth Relevance.Gemma Robles & José M. Méndez - 2014 - 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)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  23
    Erratum To: The Compatibility of Relevance and Mingle. [REVIEW]José M. Méndez - 2010 - Journal of Philosophical Logic 39 (3):339-339.
  24.  16
    The Logic B and the Reductio Axioms.Gemma Robles & José M. Méndez - 2004 - Bulletin of the Section of Logic 33 (2):87-94.
  25.  96
    Two Versions of Minimal Intuitionism with the Cap. A Note.Gemma Robles & José M. Méndez - 2005 - 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 (9 more)  
     
    Export citation  
     
    Bookmark  
  26.  20
    Restricting the Contraction Axiom in Dummett's LC: A Sublogic of LC with the Converse Ackermann Property, the Logic LCo.Francisco Salto, José M. Méndez & Gemma Robles - 2001 - Bulletin of the Section of Logic 30 (3):139-146.
  27.  13
    Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle.Gemma Robles & José M. Méndez - 2014 - Notre Dame Journal of Formal Logic 55 (1):107-127.
  28.  26
    The Compatibility of Relevance and Mingle.José M. Méndez - 1988 - Journal of Philosophical Logic 17 (3):279 - 297.
  29.  19
    Relational Ternary Semantics for a Logic Equivalent to Involutive Monoidal T-Norm Based Logic IMTL.Gemma Robles & José M. Méndez - 2005 - Bulletin of the Section of Logic 34 (2):101-116.
  30.  23
    Axiomatizing S4+ and J+ Without the Suffixing, Prefixing and Self-Distribution of the Conditional Axioms.Gemma Robles & José M. Méndez - 2010 - Bulletin of the Section of Logic 39 (1/2):79-91.
  31.  35
    Paraconsistent Logics Included in Lewis’ S4.Gemma Robles & José M. Méndez - 2010 - Review of Symbolic Logic 3 (3):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 (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  66
    A Constructive Negation for Logics Including TW+.Gemma Robles & José M. Méndez - 2005 - Journal of Applied Non-Classical Logics 15 (4):389-404.
    The logic TW+ is positive Ticket Entailment without the contraction axiom. Constructive negation is understood in the intuitionistic sense but without paradoxes of relevance. It is shown how to introduce a constructive negation of this kind in positive logics at least as strong as TW+. Special attention is paid to the reductio axioms. Concluding remarks about relevance, modal and entailment logics are stated. Complete relational ternary semantics are provided for the logics introduced in this paper.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  20
    A Routley-Meyer Semantics for Converse Ackermann Property.José M. Méndez - 1987 - Journal of Philosophical Logic 16 (1):65 - 76.
  34.  24
    Relevance Logics and Intuitionistic Negation.José M. Méndez & Gemma Robles - 2008 - Journal of Applied Non-Classical Logics 18 (1):49-65.
    The logic B+ is Routley and Meyer's basic positive logic. We show how to introduce a minimal intuitionistic negation and an intuitionistic negation in B+. The two types of negation are introduced in a wide spectrum of relevance logics built up from B+. It is proved that although all these logics have the characteristic paradoxes of consistency, they lack the K rule.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  43
    Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency.Gemma Robles & José M. Méndez - 2009 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  25
    The Basic Constructive Logic for Negation-Consistency Defined with a Propositional Falsity Constant.José M. Méndez, Gemma Robles & Francisco Salto - 2007 - Bulletin of the Section of Logic 36 (1-2):45-58.
  37.  38
    The Basic Constructive Logic for Absolute Consistency.José M. Méndez & Gemma Robles - 2009 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  16
    Converse Ackermann Property and Constructive Negation Defined with a Negation Connective.Gemma Robles & José M. Méndez - 2006 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  16
    Urquhart's C with Intuitionistic Negation: Dummett's LC Without the Contraction Axiom.José M. Méndez & Francisco Salto - 1995 - Notre Dame Journal of Formal Logic 36 (3):407-413.
    This paper offers a particular intuitionistic negation completion of Urquhart's system C resulting in a super-intuitionistic contractionless propositional logic equivalent to Dummett's LC without contraction.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  27
    Axiomatizing E→ and R→ with Anderson and Belnap's 'Strong and Natural'list of Valid Entailments.José M. Méndez - 1987 - Bulletin of the Section of Logic 16 (1):2-7.
    We provide all possible axiomatizations with independent axioms of E→ and R→ formulable with Anderson and Belnap’s list.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  36
    Two Extensions of Lewis' S3 with Peirce's Law.Francisco Salto & José M. Méndez - 1999 - 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 (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  21
    1. Select List of Representative Theses.José M. Mendez - 1988 - Bulletin of the Section of Logic 17 (1):15-20.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  27
    Sobre la confirmación de hipótesis en lingüística.José María - 2007 - Theoria 16 (2):77-90.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44.  31
    Re-pensando la Educación desde la Complejidad.María Inés De Jesús, Raiza Andrade, Don Rodrigo Martínez & Raizabel Méndez - 2007 - Polis 16.
    En el marco del Paradigma Emergente de la Complejidad, la educación cobra un nuevo significado. Emerge la necesidad de postular nuevas visiones acerca del fenómeno educativo que trasciendan la concepción disciplinar. Ir a la búsqueda de una práctica educativa más sensible, exhaustiva, cuyo eje sea enseñar a investigar, integradora de las ciencias sociales con las humanísticas, fomentadora de un conocimiento autónomo, formadora de ciudadanos provistos de los instrumentos que les permitan interaccionar con el entorno de una manera creativa como constructores (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  30
    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).José M. Méndez, Francisco Salto & Gemma Robles - 2007 - 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 (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  24
    Converse Ackermann Croperty and Semiclassical Negation.José M. Méndez - 1988 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  24
    A Weak Logic with the Axiom Mingle Lacking the Variable-Sharing Property.Gemma Robles, Francisco Salto & José M. Méndez - 2011 - Bulletin of the Section of Logic 40 (3/4):195-202.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  23
    The Basic Constructive Logic for Weak Consistency and the Reductio Axioms.Gemma Robles & José M. Méndez - 2009 - Bulletin of the Section of Logic 38 (1/2):61-76.
  49.  26
    Exhaustively Axiomatizing RMO with an Appropiate Extension of Anderson and Belnap's “Strong and Natural List of Valid Entailments”.José M. Méndez - 1990 - 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 (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  35
    A Natural Negation Completion of Urquhart's Many-Valued Logic C.José M. Mendez & Francisco Salto - 1998 - Journal of Philosophical Logic 27 (1):75-84.
1 — 50 / 999