Results for 'J. Dubucs'

1000+ found
Order:
  1.  13
    Representation theory of MV-algebras.Eduardo J. Dubuc & Yuri A. Poveda - 2010 - Annals of Pure and Applied Logic 161 (8):1024-1046.
    In this paper we develop a general representation theory for MV-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra theories. Our main result corresponds, in the case of MV-algebras and MV-chains, to the representation of commutative rings with unit as rings of global sections of sheaves of local rings. We prove that any MV-algebra is isomorphic to the MV-algebra of all global sections of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  24
    Erratum to “Representation theory of MV-algebras” [Ann. Pure Appl. Logic 161 (8) (2010)].Eduardo J. Dubuc - 2012 - Annals of Pure and Applied Logic 163 (9):1358.
    In this paper we develop a general representation theory for MV-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra theories. Our main result corresponds, in the case of MV-algebras and MV-chains, to the representation of commutative rings with unit as rings of global sections of sheaves of local rings. We prove that any MV-algebra is isomorphic to the MV-algebra of all global sections of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  74
    On the Equivalence Between MV-Algebras and l-Groups with Strong Unit.Eduardo J. Dubuc & Y. A. Poveda - 2015 - Studia Logica 103 (4):807-814.
    In “A new proof of the completeness of the Lukasiewicz axioms” Chang proved that any totally ordered MV-algebra A was isomorphic to the segment \}\) of a totally ordered l-group with strong unit A *. This was done by the simple intuitive idea of putting denumerable copies of A on top of each other. Moreover, he also show that any such group G can be recovered from its segment since \^*}\), establishing an equivalence of categories. In “Interpretation of AF C (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  6
    Die sogenannte Analytizität der Mathematik.J. P. Dubucs - 1988 - Grazer Philosophische Studien 32 (1):83-112.
    Im Hinblick auf den Herbrand'schen Satz für die Prädikatenlogik der ersten Stufe und auf die Lehre vom Beweisverfahren mit Rechenautomaten, die daraus folgt, wird ein Beweis als komputazional synthetisch bezeichnet, wenn er sich auf Objekte bezieht, die im erwiesenen Satz nicht erwähnt sind. Die mathematischen Beweise sind aber auch synthetisch in einem begrifflichen Sinne: die Kontrolle oder die Begrenzung der angewandten Begriffe — die sogenannte Methodenreinheit — ist im allgemeinen unerreichbar.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  21
    Die sogenannte Analytizität der Mathematik.J. P. Dubucs - 1988 - Grazer Philosophische Studien 32 (1):83-112.
    Im Hinblick auf den Herbrand'schen Satz für die Prädikatenlogik der ersten Stufe und auf die Lehre vom Beweisverfahren mit Rechenautomaten, die daraus folgt, wird ein Beweis als komputazional synthetisch bezeichnet, wenn er sich auf Objekte bezieht, die im erwiesenen Satz nicht erwähnt sind. Die mathematischen Beweise sind aber auch synthetisch in einem begrifflichen Sinne: die Kontrolle oder die Begrenzung der angewandten Begriffe — die sogenannte Methodenreinheit — ist im allgemeinen unerreichbar.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6.  36
    Embedded probabilities.J. Dubucs - 1991 - Theory and Decision 30 (3):279-284.
  7.  14
    Editor's Preface.J. Dubucs - 1991 - Theory and Decision 31 (2/3):95.
  8.  40
    The Intimate Relationship Between the McNaughton and the Chinese Remainder Theorems for MV-algebras.Eduardo J. Dubuc & Yuri Poveda - 2013 - Studia Logica 101 (3):483-485.
    We show the intimate relationship between McNaughton Theorem and the Chinese Remaindner Theorem for MV-algebras. We develop a very short and simple proof of McNaughton Theorem. The arguing is elementary and right out of the definitions. We exhibit the theorem as just an instance of the Chinese theorem. Since the variety of MV-algebras is arithmetic, the Chinese theorem holds for MV-algebras. However, to make this paper self-contained and entirely elementary, we include a simple proof of this theorem inspired in Ferraioli (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9. La Sorbonne, Paris, France, July 23–31, 2000.C. Parsons Kanamori, A. Razborov, H. Schwichtenberg, J. Steel, S. Todorcevic, A. Wilkie, R. Cori, M. Dickmann, J. Dubucs & J. B. Joinet - 2001 - Bulletin of Symbolic Logic 7 (1).
  10. Calculer, percevoir et classer.Jacques Dubucs - 2002 - Archives de Philosophie 2 (2):335-355.
    Les sciences cognitives poursuivent un objectif fort ancien, qui consiste, sommairement dit, à décrire et à expliquer les comportements intelligents. Elles appliquent à cet effet des principes méthodologiques moins traditionnels, dont l'adoption définit ce qu'il est convenu d'appeler le "tournant cognitif". Je me propose ici d'exposer brièvement ces principes, de les illustrer par des exemples appropriés et d’en discuter la signification philosophique. Pour l’essentiel, j’ai mis en avant un domaine qui me semble particulièrement pertinent pour les philosophes: l'analyse de la (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  11.  16
    Dubucs, J., & Bourdeau, M. . Constructivity and Computability in Historical and Philosophical Perspective . Springer Netherlands, XI. 214, pp. ISBN: 978-94-017-9216-5 978-94-017-9217-2. [REVIEW]Bruno Da Ré - 2015 - Revista de Humanidades de Valparaíso 6:125-131.
    Book Review: Dubucs, J., & Bourdeau, M.. Constructivity and Computability in Historical and Philosophical Perspective. Springer Netherlands, XI. 214, pp. ISBN: 978-94-017-9216-5 978-94-017-9217-2, €83.29.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  23
    Categorical Equivalence Between $$\varvec{PMV}{\varvec{f}}$$ PMV f -Product Algebras and Semi-Low $$\varvec{f}{\varvec{u}}$$ f u -Rings.Lilian J. Cruz & Yuri A. Poveda - 2019 - Studia Logica 107 (6):1135-1158.
    An explicit categorical equivalence is defined between a proper subvariety of the class of \-algebras, as defined by Di Nola and Dvurečenskij, to be called \-algebras, and the category of semi-low \-rings. This categorical representation is done using the prime spectrum of the \-algebras, through the equivalence between \-algebras and \-groups established by Mundici, from the perspective of the Dubuc–Poveda approach, that extends the construction defined by Chang on chains. As a particular case, semi-low \-rings associated to Boolean algebras are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  7
    Categorical Equivalence Between $$\varvec{PMV}{\varvec{f}}$$ PMV f -Product Algebras and Semi-Low $$\varvec{f}{\varvec{u}}$$ f u -Rings.Lilian J. Cruz & Yuri A. Poveda - 2019 - Studia Logica 107 (6):1135-1158.
    An explicit categorical equivalence is defined between a proper subvariety of the class of \-algebras, as defined by Di Nola and Dvurečenskij, to be called \-algebras, and the category of semi-low \-rings. This categorical representation is done using the prime spectrum of the \-algebras, through the equivalence between \-algebras and \-groups established by Mundici, from the perspective of the Dubuc–Poveda approach, that extends the construction defined by Chang on chains. As a particular case, semi-low \-rings associated to Boolean algebras are (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  8
    Reseña del libro Dubucs, J., & Bourdeau, M. (eds.) (2014). Constructivity and Computability in Historical and Philosophical Perspective. [REVIEW]Bruno Da Ré - 2015 - Revista de Humanidades de Valparaíso 6:125-131.
    Book Review: Dubucs, J., & Bourdeau, M.. Constructivity and Computability in Historical and Philosophical Perspective. Springer Netherlands, XI. 214, pp. ISBN: 978-94-017-9216-5 978-94-017-9217-2, €83.29.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  50
    Which Logic for the Radical Anti-Realist ?Denis Bonnay & Mikaël Cozic - unknown
    Since the ground-breaking contributions of M. Dummett (Dummett 1978), it is widely recognized that anti-realist principles have a critical impact on the choice of logic. Dummett argued that classical logic does not satisfy the requirements of such principles but that intuitionistic logic does. Some philosophers have adopted a more radical stance and argued for a more important departure from classical logic on the basis of similar intuitions. In particular, J. Dubucs and M. Marion (?) and (Dubucs 2002) have (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  3
    The science of fake news.David M. J. Lazer, Matthew A. Baum, Yochai Benkler, Adam J. Berinsky, Kelly M. Greenhill, Filippo Menczer, Miriam J. Metzger, Brendan Nyhan, Gordon Pennycook, David Rothschild, Michael Schudson, Steven A. Sloman, Cass R. Sunstein, Emily A. Thorson, Duncan J. Watts & Jonathan L. Zittrain - 2018 - Science 359 (6380):1094-1096.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   40 citations  
  17. Reliable Knowledge: An Exploration of the Grounds for Belief in Science.J. M. Ziman - 1981 - British Journal for the Philosophy of Science 32 (3):311-314.
     
    Export citation  
     
    Bookmark   88 citations  
  18. Perspective.Christopher J. McCarroll & John Sutton - 2023 - The Palgrave Encyclopedia of Memory Studies.
    The imagery we adopt when recalling the personal past may involve different perspectives. In many cases, we remember the past event from our original point of view. In some cases, however, we remember the past event from an external “observer” perspective and view ourselves in the remembered scene. Are such observer perspective images genuine memories? Are they accurate representations of the personal past? This chapter focuses on such observer perspectives in memory, and outlines and examines proposals about the nature of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  7
    Hasdai Cresques’s Impact on Fifteenth-Century Iberian Jewish Philosophy and Polemics.Daniel J. Lasker - 2024 - Anales Del Seminario de Historia de la Filosofía 41 (1):213-219.
    Hasdai Crescas fue un importante pensador, autor y líder comunitario judío de finales del siglo XIV y principios del XV, cuyas obras son estudiadas con detalle en el mundo académico. No obstante, su impacto sobre la comunidad judía tradicional ha sido casi inexistente. Nunca terminó su obra legal, la que podría haber tenido impacto en los judíos tradicionales. Sus escritos filosóficos conservados son difíciles de seguir; solo sobrevive una de las dos polémicas anticristianas vernáculas, en una traducción/paráfrasis hebrea. Aunque Crescas (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  14
    Comma.Ryan J. Petteway - 2024 - Journal of Medical Humanities 45 (2):221-222.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21.  35
    The correspondence between cut-elimination and normalization.J. Zucker - 1974 - Annals of Mathematical Logic 7 (1):1-112.
  22.  13
    Heedless Comportment and Epistemic Failure.Lisa J. McLeod - 2024 - Social Theory and Practice 50 (2):257-284.
    In this paper, I discuss the work of W. E. B. Du Bois to expose the disastrous effects of white supremacy in the U.S. and the world. While his early works suggest that white supremacy might be rehabilitated by the careful presentation of contrary evidence, in later works he catalogs the primary features of whiteness, including an infantile comportment, a pathological attachment to innocence, and an epistemic incapacity to absorb evidence of its own error. To capture the scope of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  10
    PhrasIS: Phrase Inference and Similarity benchmark.I. Lopez-Gazpio, J. Gaviria, P. García, H. Sanjurjo-González, B. Sanz, A. Zarranz, M. Maritxalar & E. Agirre - forthcoming - Logic Journal of the IGPL.
    We present PhrasIS, a benchmark dataset composed of natural occurring Phrase pairs with Inference and Similarity annotations for the evaluation of semantic representations. The described dataset fills the gap between word and sentence-level datasets, allowing to evaluate compositional models at a finer granularity than sentences. Contrary to other datasets, the phrase pairs are extracted from naturally occurring text in image captions and news headlines. All the text fragments have been annotated by experts following a rigorous process also described in the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  21
    Polyphony of Anxiety. The Interview with Stefano Micali about His Book Phenomenology of Anxiety.Adriana J. Mickiewicz - 2023 - Principia 70:175-186.
    Polyphony of Anxiety. The Interview with Stefano Micali about His Book Phenomenology of Anxiety.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  9
    Políticas del dolor en el capitalismo.Daniel J. García López - 2024 - Anales de la Cátedra Francisco Suárez 58.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  7
    Psychoanalytic Praxis and the Truth of Pain.William J. Richardson - 2002 - In Fran?ois Raffoul & David Pettigrew (eds.), Heidegger and Practical Philosophy. State University of New York Press. pp. 339-358.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. Modal logic, the Lewis-modal systems.J. Jay Zeman - 1973 - Revue Philosophique de la France Et de l'Etranger 163:479-479.
     
    Export citation  
     
    Bookmark   14 citations  
  28.  1
    Co lektura Marksa może dać ludziom XXI stulecia?Jerzy J. Wiatr - 2018 - Przeglad Filozoficzny - Nowa Seria:59-67.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  23
    Cut-elimination and normalization.J. Zucker - 1974 - Annals of Mathematical Logic 7 (1):1.
  30. Orientation in visual perception; The perception of tip-character in forms.Minnie Radner & James J. Gibson - 1935 - Psychological Monographs 46:48-65.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Understanding the role of a ‘large’ family in the teaching of Pope Francis.Grzegorz J. Pyźlak - 2024 - HTS Theological Studies 80 (1).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. Catholics, Anglicans, and Puritans: Seventeenth-Century Essays by Hugh Trevor-Roper.Warren J. A. Soule - 1990 - The Thomist 54 (3):570-573.
    In lieu of an abstract, here is a brief excerpt of the content:570 BOOK REVIEWS like reasonable rule for economic life. This effort is worthy of more attention than is possible here, but let it be noted that it must inevitably suffer the same fate as any ethical calculus: someone must decide for others what is their due and what is not. How much wealth, for example, makes for a concentration [of wealth] that would be " demonstrably detrimental to some (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  1
    Political theology, radical democracy, and explorations of liberation.George J. van Wyngaard - 2024 - HTS Theological Studies 80 (1).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  7
    Portraits of Resistance: Exploring Intra-personal, Social, and Institutional Resistances through the Use of Arts-Based Research among Racialized Parents of Autistic Children and Youth.Fiona J. Moola, Nivatha Moothathamby, Stephanie Posa & Methuna Naganathan - 2024 - Studies in Social Justice 18 (1):103-124.
    The lives of children who live at the intersectional nexus between childhood autism and race may be considered as “shadow stories” that have remained silenced in autism literature. We explored the experiences of racialized parents who provide care to autistic children. We drew on a theoretical framework known as DisCrit and decolonizing arts-based methodologies. Racialized parents of autistic children demonstrated resistance along various themes, including fighting the system, protecting my child, and creating cultural communities. We join black girlhood studies, critical (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Universal Logic, Ethics, and Truth.Jean- Timothy J. Madigan & Jean-Yves Beziau (eds.) - 2024 - Birkhäuser.
  36. Erasmus and the other.Terence J. Martin - 2023 - In Eric M. MacPhail (ed.), A companion to Erasmus. Boston: Brill.
     
    Export citation  
     
    Bookmark  
  37.  4
    Theorizing the anthropology of belief: magic, conspiracies, and misinformation.Luke J. Matthews - 2024 - New York, NY: Routledge. Edited by Paul Robertson.
    This book explores both scientific and humanistic theoretical traditions in anthropology through the lens of ontology. The first part of the book examines different methods for generating valid anthropological knowledge, and proposes a shift in current consensus. Drawing on western scholars of antiquity and the medieval period and moving away from twentieth century theorists, it argues that we must first make ontological assumptions about the kinds of things that can exist (or not) before we can then develop epistemologies that study (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. Le désaccord.A. J. Maydieu - 1952 - Paris,: Presses universitaires de France.
    No categories
     
    Export citation  
     
    Bookmark  
  39. Introduction.Michael J. McGinniss - 1993 - Listening 28 (1):3-5.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  28
    The correspondence between cut-elimination and normalization II.J. Zucker - 1974 - Annals of Mathematical Logic 7 (2):113.
  41.  3
    Editor's introduction.Michael J. Monahan - 2024 - Southern Journal of Philosophy 62 (1):1-1.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  10
    On the annealing of quenched-in vacancies in gold.J. A. Ytterhus & R. W. Balluffi - 1965 - Philosophical Magazine 11 (112):707-727.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  43. The twelve abuses of the age : ethical and political theory in early medieval Ireland and its influence.Constant J. Mews - 2023 - In Chris Jones & Takashi Shogimen (eds.), Rethinking medieval and Renaissance political thought: historiographical problems, fresh interpretations, new debates. New York, NY: Routledge.
     
    Export citation  
     
    Bookmark  
  44. Kelsen's basic norm of law: pivotal cognition.Martin J. Michaels - 2020 - [London?]: Red Square Books.
     
    Export citation  
     
    Bookmark  
  45.  6
    The morality of modern socialism.John J. Ming - 1909 - Cincinnati [etc.]: Benziger brothers.
  46.  50
    The Republican Dilemma: Promoting Freedom in a Modern Society.Lars J. K. Moen - 2024 - New York: Oxford University Press.
    Republicans consider freedom as non-domination an attractive political ideal for a modern pluralistic society that cannot be found in liberalism. This book shows how this view is untenable. By analysing freedom as non-domination as it is understood by contemporary republicans, the book rejects the widely held view that this freedom concept is superior to liberal understandings of freedom as non-interference. In fact, setting up institutions to promote non-domination is shown to also promote non-interference. The book demonstrates how it is the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47. Un filósofo colonial.Belisario J. Montero - 1915 - Buenos Aires,: Coni Hnos..
     
    Export citation  
     
    Bookmark  
  48.  4
    Body Image Disorders.Katherine J. Morris - 2013 - In K. W. M. Fulford, Martin Davies, Richard Gipps, George Graham, John Sadler, Giovanni Stanghellini & Tim Thornton (eds.), The Oxford handbook of philosophy and psychiatry. Oxford: Oxford University Press.
    This chapter examines so-called body image disorders, focusing on body dysmorphic disorder, anorexia nervosa, bulimia nervosa, and binge eating disorder. These disorders have been studied extensively by psychologists and psychiatrists from both the "body image" and "body shame" research orientations. Body image disorders have also proved, for feminist thinkers mindful of the gender imbalance in many of these disorders, to be an important locus for cultural criticism, including criticism of psychological and psychiatric perspectives. Those philosophers and anthropologists with a phenomenological (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. All Animals Are Not Equal: The Interface Between Scientific Knowledge and Legislation for Animal Rights.Lesley J. Rogers, Gisela Kaplan, Both Professors Of Neuroscience, Animal Behavior at the University of New England & Australia - 2004 - In Cass R. Sunstein & Martha Craven Nussbaum (eds.), Animal rights: current debates and new directions. New York: Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  50. Foxes in the Hen House: Animals, Agribusiness, and the Law.David J. Wolfson, Senior Associate At Milbank, Tweed, Hadley &, L. L. P. McCloy, Lecturer in Law Harvard Law School, Adjunct Professor at the Benjamin N. Cardozo School Of Law, Mariann Sullivan, Deputy Chief Court Attorney at the New York State Appellate Division, First Department & Former Chair of the Animal Law Committee of the Association of the Bar of the City of New York - 2004 - In Cass R. Sunstein & Martha Craven Nussbaum (eds.), Animal rights: current debates and new directions. New York: Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000