Search results for 'Xavier Caicedo Ferrer' (try it on Scholar)

1000+ found
Order:
  1.  1
    Xavier Caicedo, Francien Dechesne & Theo Janssen (2009). Equivalence and Quantifier Rules for Logic with Imperfect Information. Logic Journal of the IGPL 17 (1):91-129.
    In this paper, we present a prenex form theorem for a version of Independence Friendly logic, a logic with imperfect information. Lifting classical results to such logics turns out not to be straightforward, because independence conditions make the formulas sensitive to signalling phenomena. In particular, nested quantification over the same variable is shown to cause problems. For instance, renaming of bound variables may change the interpretations of a formula, there are only restricted quantifier extraction theorems, and slashed connectives cannot be (...)
    Direct download  
     
    Export citation  
     
    My bibliography   8 citations  
  2.  15
    Xavier Caicedo (2015). Lindström’s Theorem for Positive Logics, a Topological View. [REVIEW] In Andrés Villaveces, Roman Kossak, Juha Kontinen & Åsa Hirvonen (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. De Gruyter 73-90.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  5
    Xavier Caicedo & José Iovino (2014). Omitting Uncountable Types and the Strength of [0,1]-Valued Logics. Annals of Pure and Applied Logic 165 (6):1169-1200.
    We study a class of [0,1][0,1]-valued logics. The main result of the paper is a maximality theorem that characterizes these logics in terms of a model-theoretic property, namely, an extension of the omitting types theorem to uncountable languages.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4. Xavier Caicedo (1986). A Simple Solution to Friedman's Fourth Problem. Journal of Symbolic Logic 51 (3):778-784.
    It is shown that Friedman's problem, whether there exists a proper extension of first order logic satisfying the compactness and interpolation theorems, has extremely simple positive solutions if one considers extensions by generalized (finitary) propositional connectives. This does not solve, however, the problem of whether such extensions exist which are also closed under relativization of formulas.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  5. Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. Costa (1983). Meeting of the Association for Symbolic Logic: Bogotá, Colombia, 1981. Journal of Symbolic Logic 48 (3):884-892.
  6.  23
    Xavier Caicedo & Roberto Cignoli (2001). An Algebraic Approach to Intuitionistic Connectives. Journal of Symbolic Logic 66 (4):1620-1636.
    It is shown that axiomatic extensions of intuitionistic propositional calculus defining univocally new connectives, including those proposed by Gabbay, are strongly complete with respect to valuations in Heyting algebras with additional operations. In all cases, the double negation of such a connective is equivalent to a formula of intuitionistic calculus. Thus, under the excluded third law it collapses to a classical formula, showing that this condition in Gabbay's definition is redundant. Moreover, such connectives can not be interpreted in all Heyting (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  7.  47
    Xavier Caicedo & Ricardo O. Rodriguez (2010). Standard Gödel Modal Logics. Studia Logica 94 (2):189 - 214.
    We prove strong completeness of the □-version and the ◊-version of a Gödel modal logic based on Kripke models where propositions at each world and the accessibility relation are both infinitely valued in the standard Gödel algebra [0,1]. Some asymmetries are revealed: validity in the first logic is reducible to the class of frames having two-valued accessibility relation and this logic does not enjoy the finite model property, while validity in the second logic requires truly fuzzy accessibility relations and this (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  23
    Xavier Caicedo (2004). Implicit Connectives of Algebraizable Logics. Studia Logica 78 (1-2):155 - 170.
    An extensions by new axioms and rules of an algebraizable logic in the sense of Blok and Pigozzi is not necessarily algebraizable if it involves new connective symbols, or it may be algebraizable in an essentially different way than the original logic. However, extension whose axioms and rules define implicitly the new connectives are algebraizable, via the same equivalence formulas and defining equations of the original logic, by enriched algebras of its equivalente quasivariety semantics. For certain strongly algebraizable logics, all (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  9.  20
    Xavier Caicedo & Alejandro Martín (2001). Completud de Dos Cálculos Logicos de Leibniz (Completencss of Two Logical Systems of Leibniz). Theoria 16 (3):539-558.
    Este trabajo se encuadra dentro de una nueva visión de la lógica de Leibniz, la cual pretende mostrar que sus escritos fueron ricos no solamente en proyectos ambiciosos (Característica Universal, Combinatoria, Mathesis) sino también en desarrollos lógico-matematicos concretos. Se demuestra que su “Caracteristica Numerica” que asigna pares de números a las proposiciones categóricas es una semántiea para la cual la silogística aristotélica es correcta y completa, y que el sistema algebraico presentado en Fundamentos de un Cálculo Lógico es una lógica (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10.  13
    Xavier Caicedo (1991). Hilbert∈-Symbol in the Presence of Generalized Quantifiers. Bulletin of the Section of Logic 20 (3/4):85-86.
    Direct download  
     
    Export citation  
     
    My bibliography  
  11.  3
    Xavier Caicedo (1993). Compactness and Normality in Abstract Logics. Annals of Pure and Applied Logic 59 (1):33-43.
    We generalize a theorem of Mundici relating compactness of a regular logic L to a strong form of normality of the associated spaces of models. Moreover, it is shown that compactness is in fact equivalent to ordinary normality of the model spaces when L has uniform reduction for infinite disjoint sums of structures. Some applications follow. For example, a countably generated logic is countably compact if and only if every clopen class in the model spaces is elementary. The model spaces (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  12.  12
    Xavier Caicedo (1995). Continuous Operations on Spaces of Structures. In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers 263--296.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  13.  10
    Xavier Caicedo (2004). Definability and Automorphisms in Abstract Logics. Archive for Mathematical Logic 43 (8):937-945.
    In any model theoretic logic, Beth’s definability property together with Feferman-Vaught’s uniform reduction property for pairs imply recursive compactness, and the existence of models with infinitely many automorphisms for sentences having infinite models. The stronger Craig’s interpolation property plus the uniform reduction property for pairs yield a recursive version of Ehrenfeucht-Mostowski’s theorem. Adding compactness, we obtain the full version of this theorem. Various combinations of definability and uniform reduction relative to other logics yield corresponding results on the existence of non-rigid (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  14.  15
    Xavier Caicedo (1990). Definability Properties and the Congruence Closure. Archive for Mathematical Logic 30 (4):231-240.
    We introduce a natural class of quantifiersTh containing all monadic type quantifiers, all quantifiers for linear orders, quantifiers for isomorphism, Ramsey type quantifiers, and plenty more, showing that no sublogic ofL ωω (Th) or countably compact regular sublogic ofL ∞ω (Th), properly extendingL ωω , satisfies the uniform reduction property for quotients. As a consequence, none of these logics satisfies eitherΔ-interpolation or Beth's definability theorem when closed under relativizations. We also show the failure of both properties for any sublogic ofL (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  15.  10
    Graham Priest & Xavier Caicedo (2007). International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. Synthese 158 (1):153-163.
  16.  8
    Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. da Costa (1983). Meeting of the Association for Symbolic Logic: Bogotá, Colombia, 1981. Journal of Symbolic Logic 48 (3):884 - 892.
  17.  2
    Xavier Caicedo & Ricardo O. Rodriguez (2010). Standard Gödel Modal Logics. Studia Logica 94 (2):189-214.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  4
    Xavier Caicedo, Rolando Chauqui, Newton C. D. da Costa & Carlos A. di Prisco (1984). Meeting of the Assocaition for Symbolic Logic: Caracas, Venezuela, 1983. Journal of Symbolic Logic 49 (4):1430-1440.
  19.  1
    Xavier Caicedo (2005). Implicit Connectives of Algebraizable Logics. Studia Logica 78 (1):155-170.
    Direct download  
     
    Export citation  
     
    My bibliography  
  20.  2
    Xavier Caicedo (1995). Hilbert's Ε-Symbol in the Presence of Generalized Quantifiers. In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers 63--78.
    Direct download  
     
    Export citation  
     
    My bibliography  
  21.  3
    Xavier Caicedo, Rolando Chauqui, Newton C. D. Costa & Carlos A. di Prisco (1984). Meeting of the Assocaition for Symbolic Logic: Caracas, Venezuela, 1983. Journal of Symbolic Logic 49 (4):1430-1440.
  22.  1
    Xavier Caicedo (1996). X Latin American Symposium on Mathematical Logic. Association for Symbolic Logic: The Bulletin of Symbolic Logic 2 (2):214-237.
  23.  4
    Xavier Caicedo (1981). On Extensions of $L{\Omega \Omega }(Q1)$. Notre Dame Journal of Formal Logic 22 (1):85-93.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  24.  1
    Xavier Caicedo, Rolando Chauqui, Newton C. D. da Costa & Carlos A. Di Prisco (1984). Meeting of the Assocaition for Symbolic Logic: Caracas, Venezuela, 1983. Journal of Symbolic Logic 49 (4):1430 - 1440.
  25. Xavier Caicedo & Carlos H. Montenegro (1999). Models, Algebras, and Proofs Selected Papers of the X Latin American Symposium on Mathematical Logic Held in Bogotá.
     
    Export citation  
     
    My bibliography  
  26. Xavier Caicedo, Rolando Chuaqui, Newton C. A. Da Costa & Carlos A. Di Prisco (1984). Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 49 (4):1430-1440.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  2
    Urbano Ferrer (2007). RESEÑA de: Ferrer, Urbano. Adolf Reinach: las Ontologías regionales. Pamplona: Universidad de Navarra. Cuadernos del AnuarioFilosófico; 176, 2005. [REVIEW] Investigaciones Fenomenológicas 5:277-279.
    No categories
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  28. Urbano Ferrer (2008). RESEÑA de : Ferrer, Urbano. Welt und Praxis : schritte zu einer phänomenologischen handlungstheorie. Würzburg : Königshausen and Neumann, 2005. Investigaciones Fenomenológicas 6:443.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29.  10
    Xavier Caicedo Ferrer (1978). A Formal System for the Non-Theorems of the Propositional Calculus. Notre Dame Journal of Formal Logic 19 (1):147-151.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  30.  8
    Albert Ferrer (2012). Towards a New Educational Order and a New Paradigm. Ramon Llull Journal of Applied Ethics 3 (3):63.
    In this article, Albert Ferrer culminates a long series of articles published in the Catalan review _Ars Brevis_, edited by the Blanquerna Foundation of the Ramon Llull University, Barcelona. In his previous exposition, Prof. Ferrer outlined the development of holistic and spirituallybased education in India and Europe until the advent of the materialistic pedagogy of the modern school system. In this paper, Prof. Ferrer delves further into a philosophical understanding of this integral kind of education on spiritual (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  4
    Joelma Aparecida Santos Xavier (2013). A disciplina de Cultura Religiosa na PUC Minas: aspectos fenomenológicos e éticos como tópos privilegiado do diálogo. Dissertação. Horizonte 11 (32):1654-1655.
    XAVIER, Joelma Aparecida dos Santos. A disciplina de Cultura Religiosa na PUC Minas : aspectos fenomenológicos e éticos como tópos privilegiado do diálogo. Dissertação (Mestrado) 2013. 96p. - Pontifícia Universidade Católica de Minas Gerais, Programa de Pós-graduação em Ciências da Religião, Belo Horizonte.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. Mercedes Muñoz-Repiso Izaguirre & Alejandro Tiana Ferrer (2008). Entrevista a Alejandro Tiana. Critica 58 (956):66-71.
    Alejandro Tiana Ferrer es catedrático de historia de los Sistemas Educativos de la UNED. Ha ocupado entre otros cargos los de director del Centro de Investigación y Documentación Educativa (CIDE), creador y primer director del Instituto Nacional de Evaluación Educativa (INCE), presidente de la Asociación Internacional para la Evaluación del Rendimiento Educativo (IEA) y, hasta hace unos meses, Secretario General de Educación del Ministerio de Educación y Ciencia, donde ha diseñado y empezado a implementar una nueva ley de educación. (...)
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  33.  2
    Andrés Eduardo Caicedo & Sy-David Friedman (2011). BPFA and Projective Well-Orderings of the Reals. Journal of Symbolic Logic 76 (4):1126-1136.
    If the bounded proper forcing axiom BPFA holds and ω 1 = ${\mathrm{\omega }}_{1}^{\mathrm{L}}$ , then there is a lightface ${\mathrm{\Sigma }}_{3}^{1}$ well-ordering of the reals. The argument combines a well-ordering due to Caicedo-Veličković with an absoluteness result for models of MA in the spirit of "David's trick." We also present a general coding scheme that allows us to show that BPFA is equiconsistent with R being lightface ${\mathrm{\Sigma }}_{4}^{1}$ , for many "consistently locally certified" relations R on $\mathrm{\mathbb{R}}$ (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  34. Urbano Ferrer (2004). Aportaciones de la fenomenología a la teoría contemporánea de la acción. Daimon: Revista de Filosofia 32:131-144.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  35.  1
    David Katerndahl, Sandra Burge, Robert Ferrer, Johanna Becho & Robert Wood (2014). Dynamics of Violence. Journal of Evaluation in Clinical Practice 20 (5):695-702.
  36.  41
    Joseph Xavier (2010). Theological Anthropology of Gaudium Et Spes and Fundamental Theology. Gregorianum 91 (1):124-136.
    The Pastoral Constitution, Gaudium et Spes, is a key document for fundamental theology. In it, for the first time, the Church openly discusses the anthropological question as a specific theme. It explains what Christian anthropology is and in what way the mystery of Christ sheds light on the mystery of man. From the point of view of fundamental theology, the document shows how theological reason is closely related to anthropological meaning. It takes note of the potential mediatory role of anthropology (...)
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  37.  2
    David Katerndahl, Sandra Burge, Robert Ferrer, Johanna Becho & Robert Wood (2014). Webs of Causation in Violent Relationships. Journal of Evaluation in Clinical Practice 20 (5):703-710.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  38.  1
    David Katerndahl, Sandra Burge, Robert Ferrer, Johanna Becho & Robert Wood (2014). Do Violence Dynamics Matter? Journal of Evaluation in Clinical Practice 20 (5):719-727.
  39.  1
    David Katerndahl, Sandra Burge, Robert Ferrer, Johanna Becho & Robert Wood (2014). Multi-Day Recurrences of Intimate Partner Violence and Alcohol Intake Across Dynamic Patterns of Violence. Journal of Evaluation in Clinical Practice 20 (5):711-718.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  40.  15
    Jorge N. Ferrer & Jacob H. Sherman (eds.) (2008). The Participatory Turn: Spirituality, Mysticism, Religious Studies. State University of New York Press.
    The contributors to this volume argue that we can, and they offer a new way: the "participatory turn," which proposes that individuals and communities have an ...
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  41. Sergio A. Celani & Ramón Jansana Ferrer (2005). Bounded Distributive Lattices with Strict Implication. Mathematical Logic Quarterly 51 (3):219.
     
    Export citation  
     
    My bibliography   4 citations  
  42.  6
    C. Machado, J. Kerein, Y. Ferrer, L. Portela, M. de La C. Garcia & J. M. Manero (2007). The Concept of Brain Death Did Not Evolve to Benefit Organ Transplants. Journal of Medical Ethics 33 (4):197-200.
    Although it is commonly believed that the concept of brain death was developed to benefit organ transplants, it evolved independently. Transplantation owed its development to advances in surgery and immunosuppressive treatment; BD owed its origin to the development of intensive care. The first autotransplant was achieved in the early 1900s, when studies of increased intracranial pressure causing respiratory arrest with preserved heartbeat were reported. Between 1902 and 1950, the BD concept was supported by the discovery of EEG, Crile’s definition of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  43.  17
    E. Lamas, M. Ferrer, A. Molina, R. Salinas, A. Hevia, A. Bota, D. Feinholz, M. Fuchs, R. Schramm, J. -C. Tealdi & S. Zorrilla (2010). A Comparative Analysis of Biomedical Research Ethics Regulation Systems in Europe and Latin America with Regard to the Protection of Human Subjects. Journal of Medical Ethics 36 (12):750-753.
    The European project European and Latin American Systems of Ethics Regulation of Biomedical Research Project (EULABOR) has carried out the first comparative analysis of ethics regulation systems for biomedical research in seven countries in Europe and Latin America, evaluating their roles in the protection of human subjects. We developed a conceptual and methodological framework defining ‘ethics regulation system for biomedical research’ as a set of actors, institutions, codes and laws involved in overseeing the ethics of biomedical research on humans. This (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  44.  2
    Calixto Machado, J. Korein, Y. Ferrer, L. Portela, M. de la C. García, M. Chinchilla, Y. Machado & J. M. Manero (2007). The Declaration of Sydney on Human Death. Journal of Medical Ethics 33 (12):699-703.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  45.  6
    Andrés Eduardo Caicedo & Ralf Schindler (2006). Projective Well-Orderings of the Reals. Archive for Mathematical Logic 45 (7):783-793.
    If there is no inner model with ω many strong cardinals, then there is a set forcing extension of the universe with a projective well-ordering of the reals.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  46.  20
    Joelma Aparecida Santos Xavier (2012). CRUZ, E.; MORI, G. (orgs.) Teologia e ciências da religião: a caminho da maioridade acadêmica no Brasil. Horizonte 10 (25):312-315.
    Translate
      Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  47.  15
    Francisco Caruso & R. Moreira Xavier (1998). Sull'influenza di Cartesio, Leibniz e Newton nel primo approccio di Kant al problema dello spazio e della sua dimensionalita. Epistemologia 21 (2):211-224.
    L'idea di relazionare la dimensionalità dello spazio ad una legge fisica, contenuta nel primo scritto di Kant "Pensieri sulla veridica estima delle forze vive", svela un modo di guardare i rapporti tra Fisica e Matematica così nuovo ed originale che potè essere sviluppato e compreso nella sua plenitudine soltanto nel secolo XX. Ci riferiamo qui ala prospettiva aperta da Ehrenfest nel suo "In what way does it become manifest in the fundamental laws of physics that space has three dimensions?". In (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  48. Jorge N. Ferrer (2008). Spiritual Knowing as Participatory Enaction : An Answer to the Question of Religious Pluralism. In Jorge N. Ferrer & Jacob H. Sherman (eds.), The Participatory Turn: Spirituality, Mysticism, Religious Studies. State University of New York Press
     
    Export citation  
     
    My bibliography   1 citation  
  49.  30
    Donato Rodriguez Xavier & Arroyo-Santos Alfonso (2012). The Structure of Idealization in Biological Theories: The Case of the Wright-Fisher Model. Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie.
    In this paper we present a new framework of idealization in biology. We characterize idealizations as a network of counterfactual and hypothetical conditionals that can exhibit different “degrees of contingency”. We use this idea to say that, in departing more or less from the actual world, idealizations can serve numerous epistemic, methodological or heuristic purposes within scientific research. We defend that, in part, this structure explains why idealizations, despite being deformations of reality, are so successful in scientific practice. For illustrative (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  50.  4
    Carlos Ferrer (2015). Payeras Grau, M. . Desde las orillas. Poetas del 50 en los márgenes del canon. Sevilla: Renacimiento. 274 páginas. Logos: Revista de Lingüística, Filosofía y Literatura 25 (2):194-195.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000