Results for 'Diogo H. B. Dias'

1000+ found
Order:
  1.  44
    On a paraconsistentization functor in the category of consequence structures.Edelcio G. de Souza, Alexandre Costa-Leite & Diogo H. B. Dias - 2016 - Journal of Applied Non-Classical Logics 26 (3):240-250.
    This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which ex falso quodlibet holds, how to convert it into a logic not satisfying this principle? We use a framework provided by category theory in order to define a category of consequence structures. Then, we propose a functor to transform a logic not able to deal with contradictions into a paraconsistent one. Moreover, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  38
    Paraconsistent Orbits of Logics.Edelcio G. de Souza, Alexandre Costa-Leite & Diogo H. B. Dias - 2021 - Logica Universalis 15 (3):271-289.
    Some strategies to turn any logic into a paraconsistent system are examined. In the environment of universal logic, we show how to paraconsistentize logics at the abstract level using a transformation in the class of all abstract logics called paraconsistentization by consistent sets. Moreover, by means of the notions of paradeduction and paraconsequence we go on applying the process of changing a logic converting it into a paraconsistent system. We also examine how this transformation can be performed using multideductive abstract (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  18
    Paraconsistentization and many-valued logics.Edelcio G. de Souza, Alexandre Costa-Leite & Diogo H. B. Dias - forthcoming - Logic Journal of the IGPL.
    This paper shows how to transform explosive many-valued systems into paraconsistent logics. We investigate mainly the case of three-valued systems exhibiting how non-explosive three-valued logics can be obtained from them.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  83
    Machine Learning-Based Analysis of Digital Movement Assessment and ExerGame Scores for Parkinson's Disease Severity Estimation.Dunia J. Mahboobeh, Sofia B. Dias, Ahsan H. Khandoker & Leontios J. Hadjileontiadis - 2022 - Frontiers in Psychology 13.
    Neurodegenerative Parkinson's Disease is one of the common incurable diseases among the elderly. Clinical assessments are characterized as standardized means for PD diagnosis. However, relying on medical evaluation of a patient's status can be subjective to physicians' experience, making the assessment process susceptible to human errors. The use of ICT-based tools for capturing the status of patients with PD can provide more objective and quantitative metrics. In this vein, the Personalized Serious Game Suite and intelligent Motor Assessment Tests, produced within (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  52
    Corrigendum: The Impact of the Parental Support on Risk Factors in the Process of Gender Affirmation of Transgender and Gender Diverse People.Bruna L. Seibel, Bruno de Brito Silva, Anna M. V. Fontanari, Ramiro F. Catelan, Ana M. Bercht, Juliana L. Stucky, Diogo A. DeSousa, Elder Cerqueira-Santos, Henrique C. Nardi, Silvia H. Koller & Angelo B. Costa - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  56
    The Impact of the Parental Support on Risk Factors in the Process of Gender Affirmation of Transgender and Gender Diverse People.Bruna L. Seibel, Bruno de Brito Silva, Anna M. V. Fontanari, Ramiro F. Catelan, Ana M. Bercht, Juliana L. Stucky, Diogo A. DeSousa, Elder Cerqueira-Santos, Henrique C. Nardi, Silvia H. Koller & Angelo B. Costa - 2018 - Frontiers in Psychology 9.
    Research involving transgender and gender diverse people (TGD) increased in the last years, mostly concerning healthcare associated to this population. Few studies dedicated their analysis to the impact of parental support on transgender people, even though this is an important aspect in creating a safe environment on which these individuals can build their identity. In addition, the link between family support, TGD identity and homelessness is not completely established. Thus, due to the specificities of the family context of TGD individuals, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  7. Analisys of induction generators application in a distribution system.Júlio C. C. Ferreira, João A. Moor Neto, Diogo R. Costa Jr, Edson H. Watanabe & Luís G. B. Rolim - 2004 - Complexity 1:2.
    No categories
     
    Export citation  
     
    Bookmark  
  8. Proceedings of the 4th World Conference on Research Integrity: Brazil, Rio de Janeiro. 31 May - 3 June 2015.Lex Bouter, Melissa S. Anderson, Ana Marusic, Sabine Kleinert, Susan Zimmerman, Paulo S. L. Beirão, Laura Beranzoli, Giuseppe Di Capua, Silvia Peppoloni, Maria Betânia de Freitas Marques, Adriana Sousa, Claudia Rech, Torunn Ellefsen, Adele Flakke Johannessen, Jacob Holen, Raymond Tait, Jillon Van der Wall, John Chibnall, James M. DuBois, Farida Lada, Jigisha Patel, Stephanie Harriman, Leila Posenato Garcia, Adriana Nascimento Sousa, Cláudia Maria Correia Borges Rech, Oliveira Patrocínio, Raphaela Dias Fernandes, Laressa Lima Amâncio, Anja Gillis, David Gallacher, David Malwitz, Tom Lavrijssen, Mariusz Lubomirski, Malini Dasgupta, Katie Speanburg, Elizabeth C. Moylan, Maria K. Kowalczuk, Nikolas Offenhauser, Markus Feufel, Niklas Keller, Volker Bähr, Diego Oliveira Guedes, Douglas Leonardo Gomes Filho, Vincent Larivière, Rodrigo Costas, Daniele Fanelli, Mark William Neff, Aline Carolina de Oliveira Machado Prata, Limbanazo Matandika, Sonia Maria Ramos de Vasconcelos & Karina de A. Rocha - 2016 - Research Integrity and Peer Review 1 (Suppl 1).
    Table of contentsI1 Proceedings of the 4th World Conference on Research IntegrityConcurrent Sessions:1. Countries' systems and policies to foster research integrityCS01.1 Second time around: Implementing and embedding a review of responsible conduct of research policy and practice in an Australian research-intensive universitySusan Patricia O'BrienCS01.2 Measures to promote research integrity in a university: the case of an Asian universityDanny Chan, Frederick Leung2. Examples of research integrity education programmes in different countriesCS02.1 Development of a state-run “cyber education program of research ethics” in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  18
    H. B. Smith. The algebra of propositions. Philosophy of science, vol. 3 (1936), pp. 551–578.Alonzo Church & H. B. Smith - 1937 - Journal of Symbolic Logic 2 (1):43-44.
  10.  26
    Computability. An Introduction to Recursive Function Theory.H. B. Enderton - 1987 - Journal of Symbolic Logic 52 (1):292-293.
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  11.  32
    Man on His Nature.H. B. Adelmann - 1942 - Philosophical Review 51 (2):227.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   155 citations  
  12.  30
    Wittgenstein's Apriori.H. B. Slater - 1999 - Grazer Philosophische Studien 57 (1):81-109.
    Gary Kemp defends Realist approaches to the paradox of analysis. Other, prima facie equally viable approaches to this problem are the Nominalist one of Langford and Camap and the Conceptualist one of Prior and Stalnaker. In the context of a fuller survey focus is set on the realist attempt. This puts one in a better position to arbitrate between these approaches and give a more final assessment of the realist one, including an assessment of Kemp's defence of it. The Conceptualist (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  13.  6
    Modal Logic—A Revision.H. B. Smith - 1937 - Philosophy of Science 4 (3):383-384.
  14.  6
    Wittgenstein's Apriori.H. B. Slater - 1999 - Grazer Philosophische Studien 57 (1):81-109.
    Gary Kemp defends Realist approaches to the paradox of analysis. Other, prima facie equally viable approaches to this problem are the Nominalist one of Langford and Camap and the Conceptualist one of Prior and Stalnaker. In the context of a fuller survey focus is set on the realist attempt. This puts one in a better position to arbitrate between these approaches and give a more final assessment of the realist one, including an assessment of Kemp's defence of it. The Conceptualist (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. Letters on Logic to a young man without a master.H. B. Smith - 1922 - Revue Philosophique de la France Et de l'Etranger 93:154-155.
     
    Export citation  
     
    Bookmark  
  16.  14
    Gambling with Truth: An Essay on Induction and the Aims of Science.H. B. Enderton - 1967 - Journal of Symbolic Logic 41 (4):791-791.
  17.  6
    Physics in the making: essays on developments in 20th century physics: in honour of H.B.G. Casimir on the occasion of his 80th birthday.H. B. G. Casimir, Andries Sarlemijn & M. J. Sparnaay (eds.) - 1989 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
    H.B.G. Casimir's life, interests and works are intertwined with the important developments that have taken place in physics during this century. This book was compiled by his friends and admirers in honour of his 80th birthday and concentrates mainly on Casimir's achievements in the field of physics, though without ignoring the peripheral areas of the history and philosophy of physics in which he was greatly interested. The book is divided into four parts. Part I describes Casimir's teachers, Ehrenfest, Bohr and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  18
    The algebra of propositions.H. B. Smith - 1936 - Philosophy of Science 3 (4):551-578.
    It is proposed in this paper to develop a method by which the most general problem of the algebra of propositions is solved. This problem is to construct all propositions whose truth is independent of the form of the variables. As might be expected this method will enable us to determine without the use of matrices the consistency and independence of propositions, except in the case of those fundamental properties, which taken together define consistency itself. In the discussion which follows (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19. On the use of dots as brackets in logical expressions.H. B. Curry - 1937 - Journal of Symbolic Logic 2 (1):26-28.
    The Peanese convention for the use of dots as brackets has the disadvantage that it gives only an awkward method for representing chains of indefinite length, such as the compound implicationSuch chains occur frequently in logical investigations of a metatheoretic nature, and it is convenient to have a systematic method of abbreviating them. The most obvious method of doing this would be to leave the parentheses out entirely, and to understand that in such cases the implication sign or other operation (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  4
    Review of H. B. Mayo: Democracy and Marxism[REVIEW]H. B. MAYO - 1955 - Ethics 66 (1, Part 1):70-73.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  73
    Heraclides of Pontus.H. B. Gottschalk - 1980 - New York: Oxford University Press.
    An outline of the life of Heraclides and his fragmentary writings (on the theory of matter, astronomy, ethical and religious topics) is followed by an attempt to reconstruct his thought. He emerges as not so much a profound thinker as a many-sided writer of considerable literary gifts and occasional flashes of brilliance.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  22.  30
    Justice and progress.H. B. Alexander - 1915 - Journal of Philosophy, Psychology and Scientific Methods 12 (8):207-212.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  27
    Philosophy in deliquescence.H. B. Alexander - 1920 - Journal of Philosophy, Psychology and Scientific Methods 17 (23):617-622.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24.  17
    The new state.H. B. Alexander - 1919 - Journal of Philosophy, Psychology and Scientific Methods 16 (21):577-581.
  25.  27
    The law of transitivity.H. B. Smith - 1936 - Philosophy of Science 3 (1):123.
    In this section we shall publish brief communications commenting on published papers or bringing up special points of interest which can be discussed by correspondence.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  60
    Negative Utilitarianism.H. B. Acton & J. W. N. Watkins - 1963 - Aristotelian Society Supplementary Volume 37 (1):83-114.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  27.  35
    F. H. Bradley.H. B. Action - 1960 - Philosophical Books 1 (2):20-22.
  28. The Prison a Dialogue.H. B. Brewster - 1930 - W. Heinemann.
     
    Export citation  
     
    Bookmark  
  29.  73
    Aristotelian philosophy in the Roman world from the time of Cicero to the end of the second century AD.H. B. Gottschalk - 1987 - In Wolfgang Haase (ed.), Philosophie, Wissenschaften, Technik. Philosophie. De Gruyter. pp. 1079-1175.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  30.  26
    Democritus FV 68 B 1: an amputation.H. B. Gottschalk - 1986 - Phronesis 31 (1):90-91.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  31. The biological role of consciousness.H. B. Barlow - 1987 - In Colin Blakemore & Susan Greenfield (eds.), Mindwaves: Thoughts on Intelligence, Identity, and Consciousness. Blackwell.
     
    Export citation  
     
    Bookmark   8 citations  
  32. Applying ethical theory to public relations.H. B. Thomas - 1987 - Journal of Business Ethics 6 (3):6-7.
     
    Export citation  
     
    Bookmark  
  33.  9
    An information-theoretic model for the serial position effect.H. B. Thomas - 1968 - Psychological Review 75 (5):409-420.
  34.  16
    Archaeology.H. B. Walters - 1891 - The Classical Review 5 (8):390-394.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  43
    Monthly Record.H. B. Walters - 1891 - The Classical Review 5 (05):233-237.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  36. Soul as Harmonia.H. B. Gottschalk - 1971 - Phronesis 16 (1):179-198.
  37.  40
    What is the computational goal of the neocortex.H. B. Barlow - 1994 - In Christof Koch & Joel L. Davis (eds.), Large-Scale Neuronal Theories of the Brain. MIT Press. pp. 1--22.
  38.  15
    De Motu Animalium.H. B. Gottschalk, Aristotle & Martha Craven Nussbaum - 1981 - American Journal of Philology 102 (1):84.
  39.  25
    Philosophy and Ideology: The Development of Philosophy and Marxism-Leninism in Poland Since the Second World War.H. B. Acton & Z. A. Jordan - 1965 - Philosophical Quarterly 15 (58):90.
  40.  32
    Archaeology.H. B. Walters - 1897 - The Classical Review 11 (06):321-322.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  41.  23
    Déchelette's Pottery of Roman Gaul.H. B. Walters - 1905 - The Classical Review 19 (03):184-187.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  20
    A discriminative serial action apparatus.H. B. Weaver & J. R. Roberts - 1942 - Journal of Experimental Psychology 31 (2):171.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  43.  6
    A study of discriminative serial action: manual response to color.H. B. Weaver - 1942 - Journal of Experimental Psychology 31 (3):177.
  44.  26
    A serial position effect in number-recognition.H. B. Thomas - 1968 - Journal of Experimental Psychology 78 (1):8.
  45.  21
    The Evolution of Christian Thought. By T.A. Burkill. Ithaca and London: Cornell University Press. 1971, Pp. 504. $12.50.H. B. Timothy - 1971 - Dialogue 10 (4):854-855.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46. The Philosophy of Punishment.H. B. Acton & Ted Honderich - 1970 - Philosophy 45 (174):341-341.
     
    Export citation  
     
    Bookmark   6 citations  
  47. Lessing: Philosophical and Theological Writings.H. B. Nisbet (ed.) - 2012 - Cambridge University Press.
    Gotthold Ephraim Lessing, thinker, dramatist and controversialist of many-sided interests, is the most representative figure of the German Enlightenment. His defence of Spinoza, who had traditionally been condemned as an atheist, provoked a major controversy in philosophy, and his publication of H. S. Reimarus' radical assault on Christianity led to fundamental changes in Protestant theology. This volume presents the most comprehensive collection to date in English of Lessing's philosophical and theological writings, several of which are here translated for the first (...)
     
    Export citation  
     
    Bookmark   1 citation  
  48.  15
    Negative Utilitarianism.H. B. Acton & J. W. N. Watkins - 1963 - Aristotelian Society Supplementary Volume 37 (1):83-114.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  49. On the possibility of a better world.H. B. Townsend - 1936 - Proceedings and Addresses of the American Philosophical Association 10:132.
     
    Export citation  
     
    Bookmark  
  50. A mathematical treatment of the rules of the syllogism.H. B. Curry - 1936 - Mind 45 (178):209-216.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 1000