19 found
Order:
Disambiguations
María Manzano [18]María Sánchez Manzano [1]María Asunción Sánchez Manzano [1]
See also
María Manzano
Universidad de Salamanca
  1.  68
    Extensions of First Order Logic.María Manzano - 1996 - 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  
     
    Export citation  
     
    Bookmark   21 citations  
  2.  7
    Completeness in Equational Hybrid Propositional Type Theory.Maria Manzano, Manuel Martins & Antonia Huertas - forthcoming - Studia Logica:1-40.
    Equational hybrid propositional type theory ) is a combination of propositional type theory, equational logic and hybrid modal logic. The structures used to interpret the language contain a hierarchy of propositional types, an algebra and a Kripke frame. The main result in this paper is the proof of completeness of a calculus specifically defined for this logic. The completeness proof is based on the three proofs Henkin published last century: Completeness in type theory, The completeness of the first-order functional calculus (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  8
    Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2014 - Journal of Philosophical Logic 43 (2-3):209-238.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  5
    Identity, Equality, Nameability and Completeness.María Manzano & Manuel Crescencio Moreno - 2018 - Bulletin of the Section of Logic 46 (3/4).
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  43
    Completeness: From Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  92
    Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - 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)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  39
    Hybrid Type Theory: A Quartet in Four Movements.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2011 - Principia: An International Journal of Epistemology 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)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  6
    Identity, Equality, Nameability and Completeness. Part II.María Manzano & Manuel Crescencio Moreno - 2018 - Bulletin of the Section of Logic 47 (3):141.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  48
    Formalización en teoría de tipos del predicado de existencia de Mario Bunge.María Manzano - 1985 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 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 (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  29
    Diagonalisation and Church's Thesis: Kleene's Homework.Enrique Alonso & Maria Manzano - 2005 - 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)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  29
    Visions of Henkin.María Manzano & Enrique Alonso - 2015 - Synthese 192 (7):2123-2138.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  18
    A Note on Visions of Henkin.María Manzano & Enrique Alonso - 2017 - Synthese 194 (6):1839-1840.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  34
    The 1st Barcelona Symposium on History and Philosophy of Science.Maria Manzano & P. de la Fuente - 1987 - Theoria 2 (2):645-646.
  14. Modelos, Teoría De.María Manzano - 2011 - In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. pp. 410--413.
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  6
    The 1st Barcelona Symposium on History and Philosophy of Science.Maria Manzano & P. de la Fuente - 1987 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 2 (2-3):645-646.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. La finalidad de los" Comentarios a los XXXI primeros salomos de David", de Benito Arias Montano.María Asunción Sánchez Manzano - 1998 - Ciudad de Dios: Revista Agustiniana 211 (1):51-125.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  3
    Hybrid Type Theory: A Quartet in Four Movements DOI:10.5007/1808-1711.2011v15n2p225.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2011 - Principia: An International Journal of Epistemology 15 (2).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Lógica dinámica.MarÍa Manzano - 1990 - Agora 9:31.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Vida, obra y algunos milagros de Alonzo Church.María Manzano - 1999 - Agora 18 (1):107-132.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark