Search results for 'Maía Manzano' (try it on Scholar)

181 found
Sort by:
  1. Maía Manzano (1997). Alonzo Church:His Life, His Work and Some of His Miracles. History and Philosophy of Logic 18 (4):211-232.score: 120.0
    This paper is dedicated to Alonzo Church, who died in August 1995 after a long life devoted to logic. To Church we owe lambda calculus, the thesis bearing his name and the solution to the Entscheidungsproblem.His well-known book Introduction to Mathematical LogicI, defined the subject matter of mathematical logic, the approach to be taken and the basic topics addressed. Church was the creator of the Journal of Symbolic Logicthe best-known journal of the area, which he edited for several decades This (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Circe Maia & Brian Cole (1998). Two Poems by Circe Maia. Philosophy Now 21:43-43.score: 120.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Enrique Alonso & Maria Manzano (2005). Diagonalisation and Church's Thesis: Kleene's Homework. History and Philosophy of Logic 26 (2):93-113.score: 60.0
    In this paper we will discuss the active part played by certain diagonal arguments in the genesis of computability theory. 1?In some cases it is enough to assume the enumerability of Y while in others the effective enumerability is a substantial demand. These enigmatical words by Kleene were our point of departure: When Church proposed this thesis, I sat down to disprove it by diagonalizing out of the class of the ??definable functions. But, quickly realizing that the diagonalization cannot be (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano (2012). Hybrid Type Theory: A Quartet in Four Movements. Principia 15 (2):225.score: 60.0
    Este artigo canta uma canção — uma canção criada ao unir o trabalho de quatro grandes nomes na história da lógica: Hans Reichenbach, Arthur Prior, Richard Montague, e Leon Henkin. Embora a obra dos primeiros três desses autores tenha sido previamente combinada, acrescentar as ideias de Leon Henkin é o acréscimo requerido para fazer com que essa combinação funcione no nível lógico. Mas o presente trabalho não se concentra nas tecnicalidades subjacentes (que podem ser encontradas em Areces, Blackburn, Huertas, e (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Axel Cleeremans & Tiago V. Maia (2005). Consciousness: Converging Insights From Connectionist Modeling and Neuroscience. Trends in Cognitive Sciences 9 (8):397-404.score: 30.0
    Over the past decade, many findings in cognitive about the contents of consciousness: we will not address neuroscience have resulted in the view that selective what might be called the ‘enabling factors’ for conscious- attention, working memory and cognitive control ness (e.g. appropriate neuromodulation from the brain- stem, etc.). involve competition between widely distributed rep-.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. María Manzano (1996). Extensions of First Order Logic. Cambridge University Press.score: 30.0
    Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Tiago V. Maia & Axel Cleeremans (2005). Consciousness: Converging Insights From Connectionist Modeling and Neuroscience. Trends in Cognitive Sciences 9 (8):397-404.score: 30.0
  8. María Manzano & Enrique Alonso (forthcoming). Visions of Henkin. Synthese:1-16.score: 30.0
    Leon Henkin (1921–2006) was not only an extraordinary logician, but also an excellent teacher, a dedicated professor and an exceptional person. The first two sections of this paper are biographical, discussing both his personal and academic life. In the last section we present three aspects of Henkin’s work. First we comment part of his work fruit of his emphasis on teaching. In a personal communication he affirms that On mathematical induction, published in 1969, was the favourite among his articles with (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano (2013). Completeness in Hybrid Type Theory. Journal of Philosophical Logic (2-3):1-30.score: 30.0
    We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret $@_i$ in propositional and first-order hybrid logic. This means: interpret $@_i\alpha _a$ , where $\alpha _a$ is an expression of any type $a$ , as an expression of type $a$ that (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. M. D. Maia, S. S. E. Almeida Silva & F. S. Carvalho (2009). Quaternion-Loop Quantum Gravity. Foundations of Physics 39 (11):1273-1279.score: 30.0
    It is shown that the Riemannian curvature of the 3-dimensional hypersurfaces in space-time, described by the Wilson loop integral, can be represented by a quaternion quantum operator induced by the SU(2) gauge potential, thus providing a justification for quaternion quantum gravity at the Tev energy scale.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. James L. McClelland, David C. Plaut, Stephen J. Gotts & Tiago V. Maia (2003). Developing a Domain-General Framework for Cognition: What is the Best Approach? Behavioral and Brain Sciences 26 (5):611-614.score: 30.0
    We share with Anderson & Lebiere (A&L) (and with Newell before them) the goal of developing a domain-general framework for modeling cognition, and we take seriously the issue of evaluation criteria. We advocate a more focused approach than the one reflected in Newell's criteria, based on analysis of failures as well as successes of models brought into close contact with experimental data. A&L attribute the shortcomings of our parallel-distributed processing framework to a failure to acknowledge a symbolic level of thought. (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Maria Manzano & Enrique Alonso (2013). Completeness: From Gödel to Henkin. History and Philosophy of Logic 35 (1):1-26.score: 30.0
    This paper focuses on the evolution of the notion of completeness in contemporary logic. We discuss the differences between the notions of completeness of a theory, the completeness of a calculus, and the completeness of a logic in the light of Gödel's and Tarski's crucial contributions.We place special emphasis on understanding the differences in how these concepts were used then and now, as well as on the role they play in logic. Nevertheless, we can still observe a certain ambiguity in (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. María Manzano (1985). Formalización En Teoría de Tipos Del Predicado de Existencia de Mario Bunge. Theoria 1 (2):513-534.score: 30.0
    Professor Bunge makes the distinction between the logical concept of existence and the ontological one. I agree with him and in this paper I am formalizing his existence predicate into the powerful language of type theory.I am also proving the logical equivalence of this for mulation with a briefer one, which says that to exist conceptually is the same as to be a conceptual object. Accordingly, from this point on I investigate what conceptual objects are. I reach the conclusion that (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Tiago V. Maia (2009). Fear Conditioning and Social Groups: Statistics, Not Genetics. Cognitive Science 33 (7):1232-1251.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. Tiago V. Maia & James L. McClelland (2012). A Neurocomputational Approach to Obsessive-Compulsive Disorder. Trends in Cognitive Sciences 16 (1):14-15.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  16. Aline Silva Correa Maia & Roberta Oliveira (2010). Futebol, Identidade E Memória: O Lance! Do Consumo Do Botafogo de 1962. Logos 17 (2):151-163.score: 30.0
    O Jornalismo Esportivo utiliza-se da memória como forma de fortalecer conceitos e ideias associadas ao futebol, aos clubes e seus torcedores. No Brasil, o diário esportivo Lance! recorreu ao passado na cobertura anterior da final do Campeonato Carioca de 2009, como parte da estratégia de lançamento de uma promoção. O trabalho avalia a produção, nesta circunstância, do discurso para atrair o torcedor do Botafogo.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  17. Juan A. Fernández Manzano (2011). Locke, John:" Ensayo sobre la tolerancia y otros escritos sobre ética y obediencia civil". Logos. Anales Del Seminario de Metafísica 44 (10):403-407.score: 30.0
    Translate to English
    | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  18. María Manzano (2011). Modelos, Teoría De. In. In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. 410--413.score: 30.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  19. Isidoro Guzmán Manzano (2004). Primado de Cristo y la Inmaculada. Verdad y Vida: Revista de Las Ciencias Del Espíritu 62 (239):95-116.score: 30.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  20. Maria Manzano & P. de la Fuente (1987). The 1st Barcelona Symposium on History and Philosophy of Science. Theoria 2 (2):645-646.score: 30.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Cleber Francisco Alves & Antonio Cavalcanti Maia (2005). Justiça e Racionalidade Prática–reflexões a partir da obra de Alasdair MacIntyre. In Antonio Cavalcanti Maia (ed.), Perspectivas Atuais da Filosofia Do Direito. Editora Lumen Juris.score: 30.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  22. E. Brandão & J. Maia (1998). A Modelação Da Prestação Desportiva Em Basquetebol: Um Estudo No Escalão De Cadetes Masculinos. Horizonte 14 (84):17-21.score: 30.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  23. L. F. Capitan-Vallvey, E. Manzano & V. J. Medina Florez (1993). Estudio de materiales de las pinturas murales de la Torre de las Damas (Granada) y estado de conservación. Al-Qantara: Revista de Estudios Árabes 14 (1):177-203.score: 30.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  24. Víctor Jesús Medina Flórez, Luis Fermín Capitán Vallvey & E. Manzano (1993). Estudio de materiales de las pinturas murales de la Torre de las Damas (Granada) y estado de conservación. Al-Qantara: Revista de Estudios Árabes 14 (1):177-204.score: 30.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  25. Frédéric Gabriel, Emmanuel Naya, André Pessel, Lorenzo Bianchi, José R. Maia & Alexandra Torero-Ibad (2008). Le scepticisme chrétien (XVIe-XVIIe siècle). Les Etudes Philosophiques 2.score: 30.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  26. Mauro de Oliveira Magalhães, Ana Maria Maia & Marco Antônio Pereira Teixeira (2003). Indecisão Vocacional Na Adolescência: Efeitos Combinados de Gênero E Ambiente Sociocultural. Aletheia 17:73-82.score: 30.0
    Estudos recentes têm sugerido a existência de interações entre sexo, gênero e ambiente sociocultural na determinação de níveis de indecisão vocacional. Participaram do estudo 186 adolescentes de ambos os sexos (86 do interior e 100 da capital do estado), estudantes do ensino médio. Os instrumentos u..
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. Mauro de Oliveira Magalhães, Ana Maria Maia & Marco Antônio Pereira Teixeira (2003). Indecisão Vocacional Na Adolescência: Efeitos Combinados de Gênero E Ambiente Sociocultural; Vocational Indecision in Adolescence: Combined Effects of Gender and Sociocultural Environment. Aletheia 17:73-82.score: 30.0
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. Suzanir Fernanda Maia (2010). A Implantação do Programa Universidade para todos no Âmbito das Políticas de Acesso e Permanência. Quaestio: Revista de Estudos Em Educação 11 (2).score: 30.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  29. Anderson Marinho Maia (2012). A manifestação da Umbanda na Região Metropolitana de Belo Horizonte: da tradição à contemporaneidade. 2011. 181 folhas. Dissertação (Mestrado) – Pontifícia Universidade Católica de Minas Gerais, Programa de Pós-graduação em Ciências da Religião, Belo Hori. [REVIEW] Horizonte 10 (26):655-657.score: 30.0
    Translate to English
    | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  30. Kênia Beatriz Ferreira Maia & Fabio Henrique Pereira (2010). Apontamentos Sobre a Relação Entre Liberdade de Imprensa E Identidade Profissional Dos Jornalistas. Logos 17 (2):191-202.score: 30.0
    This paper discuss the relations between the conception of freedom of press and the construction of a professional identity on journalism. As a departure point, we do bibliographical revision of the press freedom definition as it was initially elaborated by Illuminist philosophers. After that, we investigate how such concepts integrate journalists’ self- legitimating discourse and also how it participates on the construction of their identity.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. Antônio Cavalcanti Maia (2005). Considerações acerca do papel civilizatório do direito. In Antonio Cavalcanti Maia (ed.), Perspectivas Atuais da Filosofia Do Direito. Editora Lumen Juris.score: 30.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  32. Andréa Casa Nova Maia (2011). Cultura E Cotidiano Nas Minas de Ouro: Trabalhadores Em Tempos de Experiências Autoritárias E Suas Resistências Plurais. Topoi 12 (22):209-227.score: 30.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  33. Rousiley C. M. Maia (1996). Elias Canetti's Auto-da-Fe: From the Antithesis of the Crowd-Man to the Madness of Power. Thesis Eleven 45 (1):28-38.score: 30.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  34. José R. Maia (2008). HUET N'est PAS Un Sceptique Chrétien. Les Etudes Philosophiques 2.score: 30.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  35. João Araújo Maia & Eduardo Bianchi (2010). Mangueira, suas ratas são uma beleza! Logos 15 (2 (2008)):19-29.score: 30.0
    Falaremos de uma cidadania criativa que se configura lentamente na sociedade contemporânea. Consumo, beleza, vaidade, moda e corpo são elementos que irão fazer o campo da cultura refletir sobre conceitos que estavam, por muito tempo, sedimentados no campo da Comunicação. As jovens mulheres que se autointitulam “ratas” e seu estilo de vida nos guiaram para problematizar questões relativas às sociabilidades comunitárias e à cidadania cultural. Este trabalho faz uma imersão de campo na comunidade na favela da Candelária, na Mangueira, Rio (...)
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. Antonio Cavalcanti Maia (ed.) (2005). Perspectivas Atuais da Filosofia Do Direito. Editora Lumen Juris.score: 30.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  37. Tiago V. Maia & James L. McClelland (2005). The Somatic Marker Hypothesis: Still Many Questions but No Answers. Trends in Cognitive Sciences 9 (4):162-164.score: 30.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. Tiago V. Maia & James L. McClelland (2005). The Somatic Marker Hypothesis: Still Many Questions but No Answers: Response to Bechara Et Al. Trends in Cognitive Sciences 9 (4):162-164.score: 30.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. Jorge Manzano (2008). Al Rasgarse El Arco Iris: Relatos de Viajes, Tras Las Huellas de Filósofos. Universidad Iberoamericana.score: 30.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  40. Esteban Requena Manzano & José Sanmartín Esplugues (1977). Ciencia y filosofía construtivas. Teorema: Revista Internacional de Filosofía 7 (3):323-338.score: 30.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  41. Juan Antonio Fernández Manzano (2009). De ciudadanos, Estado, derechos y ética. Astrolabio: Revista Internacional de Filosofía 9:52-59.score: 30.0
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. Juan Fernández Manzano (2013). DE FRANCISCO, A.: "La mirada republicana", Madrid, Catarata, 2012, 254 pp. [REVIEW] Logos. Anales Del Seminario de Metafísica 46:394-396.score: 30.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  43. Isidoro G. Manzano (2007). Decir la "persona" según Escoto (un intento de interpretación). Revista Española de Filosofía Medieval 14:11-31.score: 30.0
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. Isidoro Guzmán Manzano (2008). El primado absoluto de Cristo en Escoto: nuevas perspectivas: Cristo, el principio hermenéutico de la teología cristiana y fundamento de toda creación posible. Naturaleza y Gracia: Revista Cuatrimestral de Ciencias Eclesiásticas 1:9-78.score: 30.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  45. Esteban Requena Manzano (1974). Frege: sentido y referencia. Teorema: Revista Internacional de Filosofía 4 (4):579-586.score: 30.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  46. Teresa Martínez Manzano (2009). Hacia la identificación de la biblioteca y la mano de Demetrio Ducas. Byzantinische Zeitschrift 102 (2):717-730.score: 30.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  47. Francisco Manzano, Ana M. Pérez-Pérez, Susana Martínez-Ruiz, Cristina Garrido-Colmenero, Delphine Roldan, María del Mar Jiménez-Quintana, Emilio Sánchez-Cantalejo & Manuel Colmenero (forthcoming). Hospital-Acquired Pressure Ulcers and Risk of Hospital Mortality in Intensive Care Patients on Mechanical Ventilation. Journal of Evaluation in Clinical Practice:n/a-n/a.score: 30.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. Isidoro Manzano (1968). Introducción a" Sobre la Esencia de la Verdad" de Heidegger. Verdad y Vida 26 (103-104):507-529.score: 30.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  49. Juan Antonio Fernández Manzano (2012). La defensa de los derechos inviolables. Astrolabio: Revista Internacional de Filosofía 13:165-173.score: 30.0
    Partimos de que en sociedades políticas complejas, aun siendo el Estado un artificio necesario para evitar situaciones de dominación, su entramado institucional no está exento de reproducir análogas situaciones a aquellas cuya eliminación justificaba su existencia. Analizaremos desde esta óptica las críticas de Rawls y Nozick al utilitarismo, al que acusan de amparar actuaciones injustas por parte del colectivo hacia los individuos. En concreto, abordaremos el problema de los derechos inviolables desde estas tres líneas de pensamiento para concluir que, a (...)
    No categories
    Translate to English
    | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  50. María Asunción Sánchez Manzano (1998). La finalidad de los" Comentarios a los XXXI primeros salomos de David", de Benito Arias Montano. Ciudad de Dios: Revista Agustiniana 211 (1):51-125.score: 30.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 181