## Works by María Manzano

14 found
Order:
Disambiguations:
 Profile: María Manzano (Universidad de Salamanca)
1. 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 (...)

Export citation

My bibliography   9 citations
2. 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 (...)

Export citation

My bibliography   2 citations
3. 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 (...)

Export citation

My bibliography   1 citation
4. No categories

Export citation

My bibliography
5. 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 (...)

Export citation

My bibliography   1 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 (...)

Export citation

My bibliography   1 citation
7. María Manzano & Enrique Alonso (2015). Visions of Henkin. 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 (...)

Export citation

My bibliography
8. 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 (...)

Export citation

My bibliography

Export citation

My bibliography
10. 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.
Translate

Export citation

My bibliography
11. 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

Export citation

My bibliography
12. Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano (2012). Hybrid Type Theory: A Quartet in Four Movements DOI:10.5007/1808-1711.2011v15n2p225. Principia: An International Journal of Epistemology 15 (2).
No categories

Export citation

My bibliography
13. MarÍa Manzano (1990). Lógica dinámica. Agora 9:31.
No categories
Translate

Export citation

My bibliography
14. María Manzano (1999). Vida, obra y algunos milagros de Alonzo Church. Agora 18 (1):107-132.
No categories
Translate

Export citation

My bibliography