10 found
Sort by:
See also:
Profile: María Manzano (Universidad de Salamanca)
  1. María Manzano & Enrique Alonso (forthcoming). Visions of Henkin. Synthese:1-16.
    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  
  2. Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano (2013). Completeness in Hybrid Type Theory. Journal of Philosophical Logic (2-3):1-30.
    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  
  3. Maria Manzano & Enrique Alonso (2013). Completeness: From Gödel to Henkin. History and Philosophy of Logic 35 (1):1-26.
    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  
  4. Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano (2012). Hybrid Type Theory: A Quartet in Four Movements. Principia 15 (2):225.
    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. María Manzano (2011). Modelos, Teoría De. In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. 410--413.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  6. Enrique Alonso & Maria Manzano (2005). Diagonalisation and Church's Thesis: Kleene's Homework. History and Philosophy of Logic 26 (2):93-113.
    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  
  7. 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.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  8. María Manzano (1996). Extensions of First Order Logic. Cambridge University Press.
    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  
  9. Maria Manzano & P. de la Fuente (1987). The 1st Barcelona Symposium on History and Philosophy of Science. Theoria 2 (2):645-646.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. María Manzano (1985). Formalización En Teoría de Tipos Del Predicado de Existencia de Mario Bunge. Theoria 1 (2):513-534.
    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