Results for 'Mauricio Ayala-Rincón'

1000+ found
Order:
  1.  19
    Comparing and implementing calculi of explicit substitutions with eta-reduction.Mauricio Ayala-Rincón, Flávio L. C. de Moura & Fairouz Kamareddine - 2005 - Annals of Pure and Applied Logic 134 (1):5-41.
    The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous works have illustrated the usefulness of these calculi for practical notions like the implementation of typed functional programming languages and higher order proof assistants. It has also been shown that eta-reduction is useful for adapting substitution calculi for practical problems like higher order unification. This paper concentrates on rewrite rules for eta-reduction in three different styles of explicit substitution calculi: λσ, λse and the suspension calculus. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2. Church-Rosser Property for Conditional Rewriting Systems with Built-in Predicates as Premises.Mauricio Ayala-Rincon - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of combining systems 2. Philadelphia, PA: Research Studies Press. pp. 2--17.
     
    Export citation  
     
    Bookmark  
  3.  12
    Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions.Flávio L. C. de Moura, Mauricio Ayala-Rincón & Fairouz Kamareddine - 2008 - Journal of Applied Logic 6 (1):72-108.
  4.  42
    SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★.F. L. C. de Moura, M. Ayala-Rincón & F. Kamareddine - 2006 - Journal of Applied Non-Classical Logics 16 (1-2):119-150.
    We present the system SUBSEXPL used for simulating and comparing explicit substitutions calculi. The system allows the manipulation of expressions of the λ-calculus and of three different styles of explicit substitutions: the λσ, the λse and the suspension calculus. A variation of the suspension calculus, which allows for combination of steps of β-contraction is included too. Implementations of the η-reduction are provided for each style. Other explicit substitutions calculi can be easily incorporated into the system due to its modular structure. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  14
    Explicit substitution calculi with de Bruijn indices and intersection type systems.D. L. Ventura, F. Kamareddine & M. Ayala-Rincon - 2015 - Logic Journal of the IGPL 23 (2):295-340.
  6.  25
    First-order unification in the PVS proof assistant.A. B. Avelar, A. L. Galdino, F. L. C. de Moura & M. Ayala-Rincon - 2014 - Logic Journal of the IGPL 22 (5):758-789.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  17
    Resoluciones de acreditación de alta calidad.Mauricio Rincón Moreno & Juliana Liloy Valencia - 2023 - Human Review. International Humanities Review / Revista Internacional de Humanidades 12 (3):1-13.
    El estudio se centró en los textos de las resoluciones de acreditación de alta calidad de las Instituciones de Educación Superior en Colombia. La metodología condujo a un panorama descriptivo y posibilitó la construcción de categorías cualitativas que permitieron analizar fortalezas y debilidades. Los resultados evidencian la brecha urbano- rural; una tendencia de las instituciones oficiales a recibir más años de acreditación que las privadas y la no incidencia del carácter académico en el número de años de acreditación otorgados. Mejorar (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  10
    Hacia una comprensión de la conversión ecológica.Mauricio Rincón Andrade - 2018 - Franciscanum 60 (169):311.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  9
    Ensayos de filosofía mexicana.Ayala Barrón, Juan Carlos & Mauricio Beuchot (eds.) - 2012 - Culiacán (Sinaloa): Universidad Autónoma de Sinaloa.
  10.  15
    Argucias de la historia: siglo XIX, cultura y "América Latina".Mauricio Tenorio-Trillo - 1999
    En tiempos mas optimistas podia pensarse que el presente era la culminacion de la historia. Con mas modestia, hoy pensamos que el presente es solo una y no muy afortunada de las posibilidades de la historia. La hipotesis que calladamente organiza el libro de Mauricio Tenorio es mas arriesgada y menos lugubre: que la historia es una de las posibilidades del presente, uno de los modos en que puede constituirse el presente y resultar inteligible. Dicho de otro modo, lo (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  39
    Identificacion de competencias Del docente de excelencia de la universidad Del bio-bio.Carlos Mauricio Salazar Botello & Rodrigo Yobanolo Bonvallet - 2002 - Theoria 11 (1):77-85.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. Entre o ser e o não-ser.Lúcio Marques & Maurício Reis (eds.) - 2016
    No categories
     
    Export citation  
     
    Bookmark  
  13.  41
    Historia de la filosofía en el México colonial.Mauricio Beuchot - 1997
    La presente obra ofrece la primera historia completa de toda la filosofía novohispana desde 1521 hasta 1821. Se trata de una visión unitaria y completa de toda la filosofía de la época colonial de México, única en su género y con muchas aportaciones valiosas y originales, con método y bases de verdadera investigación histórico-filosófica. Se abre el libro con una hermenéutica de la historia de la filosofía novohispana en la cual el autor, siguiendo las orientaciones más modernas, comprende e interpreta (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  14. Hermenéutica Analógica Y Del Umbral.Mauricio Beuchot - 2005 - Revista Agustiniana 46:189-191.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  15.  22
    La doctrina tomista clásica sobre el signo: Domingo de Soto, Francisco de Araújo y Juan de Santo Tomás.Mauricio Beuchot - 1980 - Critica 12 (36):39-60.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  16. Respuesta a Héctor Zagal.Mauricio Beuchot - 2001 - Dianoia 46 (46):127-128.
    No categories
     
    Export citation  
     
    Bookmark  
  17. Hermenéutica y Sociedad en Gianni Vattimo.Mauricio Beuchot - 2007 - A Parte Rei 54.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  18. Las falacias en la lógica de Pedro Hispano.Mauricio Beuchot - 2007 - Revista Española de Filosofía Medieval 14:47-54.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  19.  11
    Sobre la actualidad del tomismo. El caso del concepto de la Analogía en la Hermenéutica.Mauricio Beuchot - 2023 - Revista de Filosofia: Universidad Católica de la Santísima Concepción 22 (2):11-23.
    El pensamiento de Santo Tomás ha encontrado actualidad tanto en la filosofía como en la teología. Lo ha hecho porque ambas disciplinas se han tornado hermenéuticas, sin dejar de lado la ontología. Es que en las dos se hace mucho uso de la interpretación, ya que versan sobre textos, tanto de filósofos como de la Sagrada Escritura. Se tratará aquí lo que puede ser una aplicación del tomismo a la filosofía del lenguaje desde la óptica de la hermenéutica. Con ello (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  12
    The History of Philosophy in Colonial Mexico.Mauricio Beuchot - 1998 - Catholic University of Amer Press.
    Colonial Mexico represents a period of enduring philosophical importance. In areas of contemporary interest, such as semiotics, ontology, and logic, the work of Hispanic philosophers provides a valuable resource. This book presents a study of philosophical activity in Mexico from 1500 to 1800.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  11
    Analysis and Characterization of the Spread of COVID-19 in Mexico through Complex Networks and Optimization Approaches.Edwin Montes-Orozco, Roman-Anselmo Mora-Gutiérrez, Sergio-Gerardo de-los-Cobos-Silva, Eric A. Rincón-García, Miguel A. Gutiérrez-Andrade & Pedro Lara-Velázquez - 2022 - Complexity 2022:1-12.
    This work analyzes and characterizes the spread of the COVID-19 disease in Mexico, using complex networks and optimization approaches. Specifically, we present two methodologies based on the principle of the rupture for the GC and Newton's law of motion to quantify the robustness and identify the Mexican municipalities whose population causes a fast spread of the SARS-CoV-2 virus. Specifically, the first methodology is based on several characteristics of the original version of the Vertex Separator Problem, and the second is based (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  39
    Intentionality in John Poinsot.Mauricio Beuchot - 1994 - American Catholic Philosophical Quarterly 68 (3):279-296.
  23. La naturaleza de la lógica y su conexión con la ontología en Alberto Magno.Mauricio Beuchot - 1987 - Dianoia 33 (33):235.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  24. Notas históricas sobre la paradoja de la implicación material.Mauricio Beuchot - 1981 - Dianoia 27 (27):264.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  25.  4
    Nicholas of Autrecourt.Mauricio Beuchot - 2003 - In Jorge J. E. Gracia & Timothy B. Noone (eds.), A Companion to Philosophy in the Middle Ages. Malden, MA: Wiley-Blackwell. pp. 458–465.
    This chapter contains sections titled: Critical and skeptical environment Nominalism and skepticism Varieties of nominalism Principles Critique of the principle of causality Anthropology and ethics Conclusion.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  26. Un libro de texto para la nueva España: La lógica de Domingo de Soto.Mauricio Beuchot - 1988 - Revista de Filosofía (México) 62:152-167.
     
    Export citation  
     
    Bookmark   2 citations  
  27.  12
    Política, sociedad y ética a través de la hermenéutica analógica.Mauricio Beuchot - 2013 - Arbor 189 (761):a040.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28. La Hermenéutica En San Agustín Y En La Actualidad.Mauricio Beuchot - 1997 - Revista Agustiniana 38 (115-16):139-156.
     
    Export citation  
     
    Bookmark  
  29. G. Blandino, "Philosophia del cognoscentia e del scientia. Breve lineas".Mauricio Beuchot - 1994 - Analogía Filosófica 8 (1):191.
    No categories
     
    Export citation  
     
    Bookmark  
  30. Garlandus Compotista, "Dialectica".Mauricio Beuchot - 1982 - Dianoia 28 (28):358.
    No categories
     
    Export citation  
     
    Bookmark  
  31. Hermenéutica analógica e historia de la filosofía.Mauricio Beuchot - 2013 - Estudios Filosóficos 62 (180):323-332.
     
    Export citation  
     
    Bookmark  
  32.  12
    Hermenéutica analógica y política.Mauricio Beuchot - 2016 - Cuadernos de Filosofía Latinoamericana 26 (93):35-42.
    El presente estudio tiene por objeto explicitar los vasos comunicantes y los puntos deyunta entre hermenéutica y política como marco referencial general para tematizar lasrelaciones entre hermenúetica analógica y quehacer político. Relaciones que tienen comopunto de convergencia el gran texto de la realidad, en donde las acciones significativasque la conforman debe ser interpretadas allende de la razón práctica. En esta perspectiva,el autor aborda los siguientes tópicos: 1. Prolegómenos; 2. La hermenéutica críticade Adela Cortina y Jesús Connill; 3. La hermenéutica analógico-crítica; (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  5
    Hermenéutica, analogía y signaturas.Mauricio Beuchot - 2014 - México, D.F.: Universidad Nacional Autónoma de México, Instituto de Investigaciones Filológicas.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. Hombre, arte y tecnología desde la hermenéutica analógica e icónica.Mauricio Beuchot - 2012 - In Andrea Cortés-Boussac (ed.), Cine: más allá de la técnica: téchne contemporánea como arte y producción en las nuevas tecnologías. Bogotá, D.C., Colombia: Universidad Sergio Arboleda.
     
    Export citation  
     
    Bookmark  
  35. Horacio Cerutti Guldberg, "Hacia una metodología de la historia de las ideas en América Latina".Mauricio Beuchot - 1987 - Dianoia 33 (33):301.
    No categories
     
    Export citation  
     
    Bookmark  
  36.  3
    Hermenéutica, ciencia y sociedad.Mauricio Beuchot & Ambrosio Velasco Gómez (eds.) - 2009 - México: Universidad Nacional Autónoma de México.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. Hermenéutica de la muerte y opción ética en Heidegger.Mauricio Beuchot - 1986 - Revista de Filosofía (México) 56:211-224.
  38. H. E. Biagini, "Historia ideológica y poder social".Mauricio Beuchot - 1994 - Analogía Filosófica 8 (1):197.
    No categories
     
    Export citation  
     
    Bookmark  
  39. Hermenéutica, lenguaje e inconsciente.Mauricio Beuchot - 1989 - Puebla, Pue.: Universidad Autónoma de Puebla.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. Homenaje nacional a Francisco Xavier Clavijero.Mauricio Beuchot - 1987 - Revista de Filosofía (México) 60:457.
    No categories
     
    Export citation  
     
    Bookmark  
  41. Humanismo novohispano.Mauricio Beuchot - 2003 - Pamplona: Servicio de Publicaciones de la Universidad de Navarra.
     
    Export citation  
     
    Bookmark  
  42. Hacia una hermenéutica analógico-icónica del símbolo.Mauricio Beuchot - 2002 - Sapientia 57 (211):271-281.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  43. Heidegger y Duns Escoto. La grammatica speculativa, el neokantismo y la fenomenología.Mauricio Beuchot - 2006 - Revista de Filosofía (México) 38 (115):101-114.
     
    Export citation  
     
    Bookmark  
  44. Humanismo Y Escolástica En La Lógica Modal De Tomás De Mercado.Mauricio Beuchot - 2003 - Cuadernos de Pensamiento Español 19:89-102.
    No categories
     
    Export citation  
     
    Bookmark  
  45. Hermenéutica y política.Mauricio Beuchot - 2004 - Estudios Filosóficos 53 (153):249-258.
    En este artículo se pretende aplicar la hermenéutica a la filosofía política. Se trata de una hermenéutica analógica, esto es, centrada en la analogía, para superar el univocismo (absolutismo) y el equivocismo (relativismo). La filosofía política resultante toma muy en cuenta la phrónesis o prudencia, que la embona con la ética; además, toma muy en cuenta la justicia distributiva, que es altamente analógica; y está abierta a la utopía. Trata de servir de mediación en la discusión entre el liberalismo y (...)
     
    Export citation  
     
    Bookmark  
  46. Introducción.Mauricio Beuchot - 2003 - Cuadernos de Pensamiento Español 19:7-8.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  47. Introducción.Mauricio Beuchot - 1999 - Cuadernos de Pensamiento Español 12:5-6.
    No categories
     
    Export citation  
     
    Bookmark  
  48.  2
    Interpretación, diálogo y creatividad: Quintas Jornadas de Hermenéutica.Mauricio Beuchot & Ambrosio Velasco Gómez (eds.) - 2003 - México: Instituto de Investigaciones Filológica.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. I. Osorio Romero, "Antonio Rubio en la filosofía novohispana".Mauricio Beuchot - 1993 - Analogía Filosófica 7 (2):215.
    No categories
     
    Export citation  
     
    Bookmark  
  50.  3
    Interpretación y realidad en la filosofía actual.Mauricio Beuchot - 1996 - México, D.F.: Universidad Nacional Autónoma de México.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000