Results for 'Chuaqui Rolando'

156 found
Order:
  1. Pragmatic Truth and Approximation to Truth.Irene Mikenberg, Newton C. A. Costa & Rolando Chuaqui - 1986 - Journal of Symbolic Logic 51 (1):201-221.
  2.  13
    Keith J. Devlin. Fundamentals of Contemporary Set Theory. Universitext. Springer-Verlag, New York, Heidelberg, and Berlin, 1979, Viii + 182 Pp. [REVIEW]Rolando Chuaqui - 1981 - Journal of Symbolic Logic 46 (2):419-420.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  52
    On Suppes' Set Theoretical Predicates.Newton C. A. da Costa & Rolando Chuaqui - 1988 - Erkenntnis 29 (1):95-112.
  4.  12
    Newton C. A. Da Costa. Ensaio Sobre Os Fundamentos da Lógica. Editora Hucitec, Editora da Universidade de São Paulo, São Paulo1980, Xii + 255 Pp. [REVIEW]Rolando Chuaqui - 1991 - Journal of Symbolic Logic 56 (4):1500-1503.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  6
    Pragmatic Truth and Approximation to Truth.Irene Mikenberg, Newton C. A. da Costa & Rolando Chuaqui - 1986 - Journal of Symbolic Logic 51 (1):201-221.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  6.  58
    On Suppes' Set Theoretical Predicates.Newton C. A. Costa & Rolando Chuaqui - 1988 - Erkenntnis 29 (1):95-112.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  7.  46
    Free-Variable Axiomatic Foundations of Infinitesimal Analysis: A Fragment with Finitary Consistency Proof.Rolando Chuaqui & Patrick Suppes - 1995 - Journal of Symbolic Logic 60 (1):122-159.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  8. Meeting of the Association for Symbolic Logic: Bogotá, Colombia, 1981.Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. Costa - 1983 - Journal of Symbolic Logic 48 (3):884-892.
  9.  8
    Sentences of Type Theory: The Only Sentences Preserved Under Isomorphisms.M. Victoria Marshall & Rolando Chuaqui - 1991 - Journal of Symbolic Logic 56 (3):932-948.
  10.  20
    Sentences of Type Theory: The Only Sentences Preserved Under Isomorphisms.M. Victoria Marshall & Rolando Chuaqui - 1991 - Journal of Symbolic Logic 56 (3):932-948.
  11.  37
    Forcing for the Impredicative Theory of Classes.Rolando Chuaqui - 1972 - Journal of Symbolic Logic 37 (1):1-18.
  12.  46
    The Geometry of Legal Principles.Rolando Chuaqui & Jerome Malitz - 1991 - Theory and Decision 30 (1):27-49.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  14
    Meeting of the Association for Symbolic Logic, Santiago, Chile, 1978.Ayda I. Arruda, Rolando Chuaqui, Newto N. C. A. da Costa & Irene Mikenberg - 1981 - Journal of Symbolic Logic 46 (1):180-190.
  14.  22
    Meeting of the Association for Symbolic Logic: Bogotá, Colombia, 1981.Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. da Costa - 1983 - Journal of Symbolic Logic 48 (3):884 - 892.
  15.  11
    Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1976.Ayda I. Arruda, Francisco Miró, Newton C. A. da Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352-364.
  16.  11
    Obras Completas, by Gödel Kurt. Edited by Mosterín Jesús. Alianza Universidad. Alianza Editorial, Madrid 1981, 430 Pp.Mosterín Jesús. Prólogo. Pp. 9–13.Mosterín Jesús. Introducción. Pp. 15–19, 35–36, 41, 45–54, 91, 95–96, 101–102, 105–106, 109, 113–114, 117–119, 127–129, 147–150, 183–184, 187–188, 191, 195–196, 205–213, 295–296, 329–330, 337–339, 401–403, 413–414.Gödel Kurt. La Suftciencia de Los Axiomas Del Caĺculo Lógico de Primer Orden. Pp. 20–34. Spanish Translation by Mosterín Jesús of 4182.Gödel Kurt. Un Caso Especial Del Problema de la Decision En la Idgica Tedrica. Pp. 37–39. Spanish Translation by Mosterín Jesús of 4187.Gödel Kurt. Algunos Resultados Metamatemáticos Sobre Completudy Consistencia. Pp. 42–43. Spanish Translation by Mosterín Jesús of 4181.Gödel Kurt. Sobre Sentencias Formalmente Indecidibles de Principia Mathematica y Sistemas Afines. Pp. 55–89. Spanish Translation by Mosterín Jesús of 4185 with an Added Note From XXXVII 405.Gödel Kurt. Sobre Completud y Consiste. [REVIEW]Rolando Chuaqui - 1983 - Journal of Symbolic Logic 48 (4):1199-1201.
  17.  14
    Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978.Ayda I. Arruda, Rolando Chuaqui, Newton C. A. da Costa & Irene Mikenberg - 1981 - Journal of Symbolic Logic 46 (1):180 - 190.
  18.  16
    Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976.Ayda I. Arruda, Francisco Miró Quesada, Newton C. A. Da Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352 - 364.
  19.  14
    Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976.Ayda I. Arruda, Francisco Miro Quesada, Newton C. A. Da Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352-364.
  20.  24
    Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978.Ayda I. Arruda, Rolando Chuaqui, Newton C. A. Costa & Irene Mikenberg - 1981 - Journal of Symbolic Logic 46 (1):180-190.
  21.  12
    Meeting of the Association for Symbolic Logic Santiago, Chile 1970.Rolando Chuaqui - 1971 - Journal of Symbolic Logic 36 (3):576-580.
  22.  7
    Meeting of the Association for Symbolic Logic.Xavier Caicedo, Rolando Chuaqui, Newton C. A. Da Costa & Carlos A. Di Prisco - 1984 - Journal of Symbolic Logic 49 (4):1430-1440.
  23.  22
    Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976.Ayda I. Arruda, Francisco Miró Quesada, Newton C. A. Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352-364.
  24.  5
    Review: Newton C. A. Da Costa, Ensaio Sobre Os Fundamentos da Logica. [REVIEW]Rolando Chuaqui - 1991 - Journal of Symbolic Logic 56 (4):1500-1503.
  25.  5
    Review: Kurt Godel, Jesus Mosterin, Obras Completas. [REVIEW]Rolando Chuaqui - 1983 - Journal of Symbolic Logic 48 (4):1199-1201.
    uando Augusto consolidaba el Imperio romano, en su centro cultural, Alejandría, nace Filón. Filósofo, exégeta y maestro en su comunidad judía, Filón es testigo de la convivencia del judaísmo de lengua griega con una sociedad helenizada que en Egipto parecía acercarse al ideal de la pax romana. Pero también es el principal informante sobre el primer pogrom contra su comunidad en el año 38. Sus escritos constituyen la más importante expresión del judaísmo de lengua griega que encontró su ocaso en (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  4
    Review: Keith J. Devlin, Fundamentals of Contemporary Set Theory. [REVIEW]Rolando Chuaqui - 1981 - Journal of Symbolic Logic 46 (2):419-420.
  27.  21
    Truth, Possibility and Probability: New Logical Foundations of Probability and Statistical Inference Vol. 166.Rolando Chuaqui - 1991 - Access Online Via Elsevier.
    This unique book presents a new interpretation of probability, rooted in the traditional interpretation that was current in the 17th and 18th centuries.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  3
    Chuaqui Rolando Basim. Axiomatic Set Theory, Impredicative Theories of Classes. North-Holland Mathematics Studies, No.. 51, Notas de Matematica, No. 78. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, Xv + 388 Pp. [REVIEW]F. R. Drake - 1984 - Journal of Symbolic Logic 49 (4):1422-1422.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  6
    Review: Rolando Basim Chuaqui, Axiomatic Set Theory. Impredicative Theories of Classes. [REVIEW]F. R. Drake - 1984 - Journal of Symbolic Logic 49 (4):1422-1422.
  30.  24
    Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978.Ayda I. Arruda, R. Chuaqui & Newton C. A. Costa (eds.) - 1980 - Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
    (or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  31.  24
    Pragmatic Truth and Approximation to Truth.Mikenberg Irene, C. A. Da Costa Newton & Chuaqui Rolando - 1986 - Journal of Symbolic Logic 51 (1):201 - 221.
    There are several conceptions of truth, such as the classical correspondence conception, the coherence conception and the pragmatic conception. The classical correspondence conception, or Aristotelian conception, received a mathematical treatment in the hands of Tarski (cf. Tarski [1935] and [1944]), which was the starting point of a great progress in logic and in mathematics. In effect, Tarski's semantic ideas, especially his semantic characterization of truth, have exerted a major influence on various disciplines, besides logic and mathematics; for instance, linguistics, the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  32.  24
    Non-Classical Logics, Model Theory, and Computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. [REVIEW]Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) - 1977 - Sale Distributors for the U.S.A. And Canada, Elsevier/North-Holland.
  33.  6
    Jesuit Mission and the Globalization of Knowledge of the Americas: Florian Paucke’s Hin Und Her in the Province of ‘Paraquaria’ During the Eighteenth Century.Carrasco M. Rolando - 2018 - In Johannes Rohbeck, Daniel Brauer & Concha Roldán (eds.), Philosophy of Globalization. De Gruyter. pp. 205-224.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  5
    Vom System Zum Labyrinth.Vitali Rolando - 2015 - Hegel-Jahrbuch 2015 (1).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  6
    La filosofia a Genova.Mirella Pasini & Daniele Rolando - 2000 - Rivista di Filosofia 91 (2):219-250.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  5
    Flavio Baroncelli.Daniele Rolando - 2008 - Rivista di Storia Della Filosofia 63 (4).
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. Mathematical Logic in Latin America Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978.Ayda I. Arruda, R. Chuaqui & Newton C. A. da Costa - 1980
     
    Export citation  
     
    Bookmark  
  38. Mathematical Logic Proceedings of the First Brazilian Conference.Ayda I. Arruda, Newton C. A. da Costa, R. Chuaqui & Universidade Estadual de Campinas - 1978
     
    Export citation  
     
    Bookmark  
  39. Non-Classical Logics, Model Theory and Computability.A. I. Arruda, R. Chuaqui & N. C. A. da Costa - 1980 - Critica 12 (34):154-158.
     
    Export citation  
     
    Bookmark  
  40. Non-Classical Logics, Model Theory, and Computability Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. [REVIEW]Ayda I. Arruda, R. Chuaqui & Newton C. A. da Costa - 1977
  41. Profili-Flavio Baroncelli.Daniele Rolando - 2008 - Rivista di Storia Della Filosofia 63 (4):821.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  14
    MAMs Are Attractive Targets for Bacterial Repurposing of the Host Cell.Pedro Escoll, Monica Rolando & Carmen Buchrieser - 2017 - Bioessays 39 (2):1600171.
    Pathogenic bacteria frequently target the endoplasmic reticulum (ER) and mitochondria in order to exploit host functions. ER‐mitochondria inter‐organelle communication is topologically sub‐compartmentalized at mitochondria‐associated ER membranes (MAMs). MAMs are specific membranous microdomains with unique regulatory functions such as lipid synthesis and trafficking, calcium homeostasis, mitochondrial morphology, inflammasome activation, autophagosome formation, and apoptosis. These important cellular processes are all modulated by pathogens to subvert host functions and promote infection, thus it is tempting to assume that pathogenic bacteria target MAMs to subvert (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  26
    More Infinity for a Better Finitism.Sam Sanders - 2010 - Annals of Pure and Applied Logic 161 (12):1525-1540.
    Elementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis with a PRA consistency proof, proposed in around 1995 by Patrick Suppes and Richard Sommer. It is based on an earlier system developed by Rolando Chuaqui and Patrick Suppes. Here, we discuss the inherent problems and limitations of the classical nonstandard framework and propose a much-needed refinement of ERNA, called , in the spirit of Karel Hrbacek’s stratified set theory. We study the metamathematics of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  44.  16
    Transfer and a Supremum Principle for ERNA.Chris Impens & Sam Sanders - 2008 - Journal of Symbolic Logic 73 (2):689 - 710.
    Elementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis proposed around 1995 by Patrick Suppes and Richard Sommer, who also proved its consistency inside PRA. It is based on an earlier system developed by Rolando Chuaqui and Patrick Suppes, of which Michal Rössler and Emil Jeřábek have recently proposed a weakened version. We add a Π₁-transfer principle to ERNA and prove the consistency of the extended theory inside PRA. In this extension of ERNA (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  45.  6
    Saturation and Σ₂-Transfer for ERNA.Chris Impens - 2009 - Journal of Symbolic Logic 74 (3):901-913.
    Elementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis with a PRA consistency proof, proposed around 1995 by Patrick Suppes and Richard Sommer. It is built on a previous system by Rolando Chuaqui and Patrick Suppes, which was recently reconsidered by Michal Rössler and Emil Jeřábek. A $\Pi _1 $ -transfer principle has already been added to ERNA and the consistency of the resulting theory proved in PRA. Here, we equip ERNA with Σ₂-transfer (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46. How Does Probability Theory Generalize Logic?David Miller - manuscript
    Rolando Chuaqui y yo, nos encontramos una ´ unica vez, en Bah´ıa Blanca en agosto 1992, en el Simposio Latino- Americano de L´ ogica Matem´ atica. Lamentablemente, Chuaqui muri´ o antes de mi pr´ oxima visita a Am´ erica del Sur, igual que otro gran l´ ogico latinoamericano, Carlos Alchourr´ on. Chuaqui estuvo en Bah´ıa Blanca juntos con varios alumnos que hablaron sobre aspectos de la l´.
     
    Export citation  
     
    Bookmark  
  47.  30
    C. Chuaqui: Musicología Griega. Pp. 268. Mexico City: Universidad Nacional Autónoma de México, 2000. Paper. ISBN: 968-36-8822-5. [REVIEW]Jon Solomon - 2002 - The Classical Review 52 (2):381-381.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  30
    Rolando Lara Elena Sandoval Willi Borchers.Michael A. Arbib - 1985 - Cognitive Science 9 (4):399-401.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49.  11
    Péter Rózsa. Graphschemata und rekursive Funktionen. Dialectica, vol. 12 , pp. 373–393; also Logica, Studia Paul Bernays dedicata, Bibliothèque scientifique no. 34, Éditions du Griffon, Neuch'tel 1959, pp. 169–189.Péter Rósza. Über die Partiell-rekursivität der durch Graphschemata definierten zahlentheoretischen Funktionen. Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös nominatae, Sectio mathematica, vol. 2 , pp. 41–48. [REVIEW]Paul Axt - 1962 - Journal of Symbolic Logic 27 (1):83-83.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  9
    Emanuele Conte and Sara Menzinger, La Summa Trium Librorum di Rolando da Lucca : Fisco, Politica, Scientia Iuris. Rome: Viella, 2012. Pp. Cclxx, 574; 4 Black-and-White Figures. €70. ISBN: 9788883344985. [REVIEW]Andreas Meyer - 2014 - Speculum 89 (1):180-181.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 156