72 found
Order:
Disambiguations
Luís Moniz Pereira [25]Luiz Carlos Pereira [9]Luiz Pereira [8]Luís Pereira [7]
Luiz Carlos P. D. Pereira [3]L. Pereira [3]Luciano Meneguetti Pereira [2]Leonardo da Hora Pereira [2]

Not all matches are shown. Search with initial or firstname to single out others.

See also
  1.  19
    Normalization, Soundness and Completeness for the Propositional Fragment of Prawitz’ Ecumenical System.Luiz Carlos Pereira & Ricardo Oscar Rodriguez - 2017 - Revista Portuguesa de Filosofia 73 (3-4):1153-1168.
    In 2015 Dag Prawitz proposed an Ecumenical system where classical and intuitionistic logic could coexist in peace. The classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation and the constant for the absurd, but they would each have their own existential quantifier, disjunction and implication, with different meanings. Prawitz’ main idea is that these different meanings are given by a semantical framework that can be accepted by both parties. The aim of the present paper is [1] (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  19
    Validades Existenciais e Enigmas Relacionados.Paulo A. S. Veloso, Luiz Carlos Pereira & Edward H. Haeusler - 2009 - Dois Pontos 6 (2).
    Logic does not have purely existential theorems: the only existential sentences that are valid are those with valid universal analogues. Here, we show indeed this is so, when properly interpreted: every existential validity has a simple universal analogue, which is also valid. We also characterize existential and universal validities in terms of tautologies.
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  3. Methodological Naturalism and Epistemic Internalism.Gregory Wheeler & Luís Moniz Pereira - 2008 - Synthese 163 (3):315-328.
    Epistemic naturalism holds that the results or methodologies from the cognitive sciences are relevant to epistemology, and some have maintained that scientific methods are more compatible with externalist theories of justification than with internalist theories. But practically all discussions about naturalized epistemology are framed exclusively in terms of cognitive psychology, which is only one of the cognitive sciences. The question addressed in this essay is whether a commitment to naturalism really does favor externalism over internalism, and we offer reasons for (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  10
    An Ecumenical Notion of Entailment.Elaine Pimentel, Luiz Carlos Pereira & Valeria de Paiva - forthcoming - Synthese:1-23.
    Much has been said about intuitionistic and classical logical systems since Gentzen’s seminal work. Recently, Prawitz and others have been discussing how to put together Gentzen’s systems for classical and intuitionistic logic in a single unified system. We call Prawitz’ proposal the Ecumenical System, following the terminology introduced by Pereira and Rodriguez. In this work we present an Ecumenical sequent calculus, as opposed to the original natural deduction version, and state some proof theoretical properties of the system. We reason that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Reasoning with Logic Programming.José Júlio Alferes & Luís Moniz Pereira - 2001 - Studia Logica 67 (1):118-120.
  6.  65
    Algumas considerações sobre a noção construtiva de verdade.André Porto & Luiz Pereira - 2003 - O Que Nos Faz Pensar:107-123.
    This paper deals with the recent Swedish proposals of a Intuitionistic notion of Truth, by Dag Prawitz and Per Martin-Löf.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  7.  32
    The PCF Conjecture and Large Cardinals.Luís Pereira - 2008 - Journal of Symbolic Logic 73 (2):674 - 688.
    We prove that a combinatorial consequence of the negation of the PCF conjecture for intervals, involving free subsets relative to set mappings, is not implied by even the strongest known large cardinal axiom.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  6
    Finitely Many-Valued Logics and Natural Deduction.C. Englander, E. H. Haeusler & L. C. Pereira - 2014 - Logic Journal of the IGPL 22 (2):333-354.
  9.  34
    Hybrid Probabilistic Logic Programs as Residuated Logic Programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.
    In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the first time a framework encompassing several quite distinct logic programming semantics is described, namely Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic Logic Programs, and Possibilistic (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  62
    A Short Note on Intuitionistic Propositional Logic with Multiple Conclusions.Valéria de Paiva & Luiz Pereira - 2005 - Manuscrito 28 (2):317-329.
    A common misconception among logicians is to think that intuitionism is necessarily tied-up with single conclusion calculi. Single conclusion calculi can be used to model intuitionism and they are convenient, but by no means are they necessary. This has been shown by such influential textbook authors as Kleene, Takeuti and Dummett, to cite only three. If single conclusions are not necessary, how do we guarantee that only intuitionistic derivations are allowed? Traditionally one insists on restrictions on particular rules: implication right, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  4
    Preferential Theory Revision.Pierangelo Dell'Acqua & Luís Moniz Pereira - 2007 - Journal of Applied Logic 5 (4):586-601.
  12.  17
    Should I Kill or Rather Not?Luis Moniz Pereira - 2019 - AI and Society 34 (4):939-943.
  13.  17
    A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic.Luiz C. Pereira, Edward H. Haeusler, Vaston G. Costa & Wagner Sanz - 2010 - Studia Logica 96 (1):95-108.
    The introduction and elimination rules for material implication in natural deduction are not complete with respect to the implicational fragment of classical logic. A natural way to complete the system is through the addition of a new natural deduction rule corresponding to Peirce's formula → A) → A). E. Zimmermann [6] has shown how to extend Prawitz' normalization strategy to Peirce's rule: applications of Peirce's rule can be restricted to atomic conclusions. The aim of the present paper is to extend (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  90
    On What There Must Be: Existence in Logic and Some Related Riddles.Paulo A. S. Veloso, Luiz Carlos Pereira & E. Hermann Haeusler - 2012 - Disputatio 4 (34):889-910.
    Veloso-Pereira-Haeusler_On-what-there-must-be.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  64
    Considerações sobre a Noção Construtiva de Verdade.André Porto & Luiz Carlos Pereira - 2003 - O Que Nos Faz Pensar 17:107-123.
    O artigo discute as recentes propostas de uma noção construtivista de verdade que não se confunda com condições de assertabilidade.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  36
    Michael Detlefsen , Proof, Logic and Formalization. Michael Detlefsen , Proof and Knowledge in Mathematics.Luiz Carlos Pereira - 1997 - Erkenntnis 47 (2):245-254.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  7
    Propositional Proof Compressions and DNF Logic.L. Gordeev, E. Haeusler & L. Pereira - 2011 - Logic Journal of the IGPL 19 (1):62-86.
    This paper is a continuation of dag-like proof compression research initiated in [9]. We investigate proof compression phenomenon in a particular, most transparent case of propositional DNF Logic. We define and analyze a very efficient semi-analytic sequent calculus SEQ*0 for propositional DNF. The efficiency is achieved by adding two special rules CQ and CS; the latter rule is a variant of the weakened substitution rule WS from [9], while the former one being specially designed for DNF sequents. We show that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18. A New Proof System for Intuitionistic Logic.Valeria de Paiva & Luiz C. Pereira - 1995 - Bulletin of Symbolic Logic 1 (1):101.
  19.  6
    A Machine is Cheaper Than a Human for the Same Task.Luís Moniz Pereira - forthcoming - AI and Society:1-3.
  20.  15
    Epistemology and Artificial Intelligence.Gregory R. Wheeler & Luís Moniz Pereira - 2004 - Journal of Applied Logic 2 (4):469-493.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  19
    A Escravidão E o Trabalho Livre Em Machado de Assis.Lupércio Antônio Pereira - 2010 - Dialogos 14 (3).
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  5
    Loparic, Almeida E Chagas: Sobre O Factum da Razão.Luiz Antonio Pereira - 2018 - Kriterion: Journal of Philosophy 59 (141):827-847.
    RESUMO Na "Kritik der praktischen Vernunft", os conceitos do factum da razão e do sentimento de respeito pela lei moral geram grandes divergências interpretativas. O presente artigo tem como objetivo apresentar as interpretações de Zeljko Loparic, Guido Antônio de Almeida e Flávia Carvalho Chagas. ABSTRACT In "Kritik der praktischen Vernunft", the concepts of factum of reason and of feeling of respect for the moral law generate great interpretative divergences. This paper aims to present the interpretations of Zeljko Loparic, Guido Antônio (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  6
    An Encompassing Framework for Paraconsistent Logic Programs.João Alcântara, Carlos Viegas Damásio & Luís Moniz Pereira - 2005 - Journal of Applied Logic 3 (1):67-95.
  24.  8
    Proof, Logic and Formalization.Luiz Carlos Pereira - 1997 - Erkenntnis 47 (2):245-254.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  20
    Oxide Semiconductors: Order Within the Disorder.E. Fortunato, L. Pereira, P. Barquinha, I. Ferreira, R. Prabakaran, G. Gonçalves, A. Gonçalves & R. Martins - 2009 - Philosophical Magazine 89 (28-30):2741-2758.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  26
    Capital social y educación desde una perspectiva ética.Lilia M. Pereira, Morela J. Pereira & Gertrudis J. Ziritt - 2005 - Telos: Critical Theory of the Contemporary 7 (1):92-101.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  26
    An Infinitary Extension of Mall−.Luiz Carlos Pd Pereira & Edward Hermann Haeusler - 1999 - Bulletin of the Section of Logic 28 (4):225-233.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  3
    Uma Abordagem Filosófica Do Capitalismo É Possível? Limites E Possibilidades de Renovação da Filosofia Social Contemporânea.Leonardo da Hora Pereira - 2018 - Kriterion: Journal of Philosophy 59 (141):789-808.
    RESUMO Neste artigo, procuraremos contribuir, dentro dos limites de um trabalho dessa natureza, para uma nova orientação para a filosofia social contemporânea. Com efeito, num primeiro momento mostraremos que a filosofia social recente tem se notabilizado pela análise de experiências negativas, com um acento no processo de formação da subjetividade, assim como pelo foco no diagnóstico de patologias sociais relacionadas aos padrões subjetivos de autorrealização pessoal. Num segundo momento, salientaremos que o problema é que, nesse quadro, o próprio social pode (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  24
    Nem tão novo, nem tão velho: reflexões sobre a atuação do Sindicato dos Metalúrgicos do Rio de Janeiro no Caso Sermetal1.Luisa Barbosa Pereira - 2012 - Enfoques: Sociologia e Antropologia da Universidade Federal do Rio de Janeiro 11 (1):1.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. El Paradigma Complejo: Un Cadáver Exquisito.E. Raiza, E. Pachano, L. M. Pereira & A. Torres - 2002 - Cinta de Moebio 14.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  31.  27
    ** A Incidência da Inteligência Artificial Na Lógica.Luís Moniz Pereira - 2001 - Disputatio (10):43-64.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. A importância da ajuda humanitária aos refugiados.Luciano Meneguetti Pereira & Marisa da Silva - 2016 - Revista Fides 7 (1).
    A IMPORTÂNCIA DA AJUDA HUMANITÁRIA AOS REFUGIADOS.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  15
    Nanostructured Silicon and its Application to Solar Cells, Position Sensors and Thin Film Transistors.R. Martins, L. Raniero, L. Pereira, D. Costa†, H. Águas, S. Pereira, L. Silva, A. Gonçalves, I. Ferreira & E. Fortunato - 2009 - Philosophical Magazine 89 (28-30):2699-2721.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  21
    A Formalization of Sambins's Normalization for GL.Edward Hermann Haeusler & Luiz Carlos Pereira - 1993 - Mathematical Logic Quarterly 39 (1):133-142.
    Sambin [6] proved the normalization theorem for GL, the modal logic of provability, in a sequent calculus version called by him GLS. His proof does not take into account the concept of reduction, commonly used in normalization proofs. Bellini [1], on the other hand, gave a normalization proof for GL using reductions. Indeed, Sambin's proof is a decision procedure which builds cut-free proofs. In this work we formalize this procedure as a recursive function and prove its recursiveness in an arithmetically (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35.  11
    Cyberculture, Symbiosis, and Syncretism.Luís Moniz Pereira - 2018 - AI and Society 33 (3):447-452.
    The impact of Cyberculture, of digital devices on young people as extensions of the body, can be seen in terms of the decreasing structuring of thoughts and information, increasing impulsivity in perception and action, and the development of more primitive defense mechanisms. These adverse impacts result in the feeling of isolation and devaluation, frustration of present and uncertainty of the future, exteriorization and floating identities, mimetic and adhesive identifications, less cohesion of the self, and decreasing tolerance of the other. This (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. A escolha do livro didático de sociologia em Porto alegre.Luiza Helena Pereira - 2014 - Saberes Em Perspectiva 4 (8):133-145.
    Dando continuidade à Pesquisa sobre a Sociologia no Ensino Médio no Rio Grande do Sul, examinou­se o processo de escolha do livro didático de sociologia nas escolas públicas de Porto Alegre, pois a disciplina só veio a ser contemplada pelo Ministério de Educação e Cultura ­ MEC, no Programa Nacional do Livro Didático – PNLD a partir de 2011. Essa escolha gerou uma interessante investigação do ponto de vista sociológico, pois possibilita pensar a vigilância epistemológica sobre nossos próprios pares, sociólogos/professores, (...)
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  16
    The Logical Impingement of Artifical Intelligence.Luíz Moniz Pereira - 1998 - Grazer Philosophische Studien 56:183-204.
    We address the impingement of Artificial Intelligence on logic, by examining the requirements posed on logic by knowledge representation and reasoning issues which A I has addressed. We then outline some of AI's contributions, via Logic Programming, to more dynamic forms of logic, in order to deal with knowledge in flux, namely: incomplete and contradictory information; hypotheses making through abduction; argumentation; diagnosis and debugging; updating; and learning. Along the way we delve into implications for the philosophy of knowledge.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  38.  7
    Tavares Bastos, a imigração europeia e o lugar das ideias liberais no Brasil oitocentista.Lupércio Antônio Pereira - 2012 - Dialogos 16 (3).
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  16
    El Paradigma de Lo Complejo.Evelin Raiza Andrade Y. Cadenas, Luz María Pereira, Aura Torres & Eduardo Pachano - 2002 - Cinta de Moebio 14.
    This essay proposes a review of the conceptual basis of the Complex Paradigm o Complex Thought. It reviews its core assumptions and give examples in the social sciences.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. Una Mirada a la Planificación Estratégica Curricular/A Look at Strategic Curricular Planning.Yasmile Navarro, Morela Pereira, Lilia Pereira & Neimar Fonseca - 2010 - Telos (Venezuela) 12 (2):202-216.
     
    Export citation  
     
    Bookmark  
  41.  9
    Logic Programming for Modeling Morality.Ari Saptawijaya & Luís Moniz Pereira - 2016 - Logic Journal of the IGPL 24 (4).
  42.  11
    Belief, Provability, and Logic Programs.José Júlio Alferes & Luís Moniz Pereira - 1995 - Journal of Applied Non-Classical Logics 5 (1):31-50.
  43.  10
    9th Workshop on Logic, Language, Information and Computation.Ruy B. de Queiroz, Luiz Pereira & Edward Haeusler - 2002 - Logic Journal of the IGPL 10 (6):679-688.
  44.  10
    Applications of the Topological Representation of the Pcf-Structure.Luís Pereira - 2008 - Archive for Mathematical Logic 47 (5):517-527.
    We consider simplified representation theorems in pcf-theory and, in particular, we prove that if ${\aleph_{\omega}^{\aleph_{0}} > \aleph_{\omega_{1}}\cdot2^{\aleph_{0}}}$ then there are cofinally many sequences of regular cardinals such that ${\aleph_{\omega_{1}+1}}$ is represented by these sequences modulo the ideal of finite subsets, using a topological approach to the pcf-structure.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45. Retomar a crítica interna do capitalismo? Revisitando a análise das crises em Problemas de legitimação no capitalismo tardio de Habermas.Leonardo Jorge Da Hora Pereira - 2013 - Cadernos de Filosofia Alemã: Crítica E Modernidade 1 (21).
  46.  6
    Special Issue Arising From the Third International Workshop on Computational Models of Scientific Reasoning and Applications.Claudio Delrieux & Luís Moniz Pereira - 2004 - Journal of Applied Logic 2 (4):381-384.
  47.  10
    The Semantics of Falsity and Negation.Luiz Pereira - 2004 - Manuscrito 27 (1):183-191.
    In Logical Forms Chateaubriand offers a realist semantics for false elementary propositions and for true negative propositions that appeals to negative facts. Although he does not refer to Wittgenstein, he rules out “possibilist” solutions such as that of the Tractatus. In this paper I will critically discuss Chateaubriand’s solution and compare it with the semantics of the Tractatus.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  4
    A Formalization Of Sambins's Normalization For Gl.Edward Hauesler & Luiz Carlos Pereira - 1993 - Mathematical Logic Quarterly 39 (1):133-142.
    Sambin [6] proved the normalization theorem for GL, the modal logic of provability, in a sequent calculus version called by him GLS. His proof does not take into account the concept of reduction, commonly used in normalization proofs. Bellini [1], on the other hand, gave a normalization proof for GL using reductions. Indeed, Sambin's proof is a decision procedure which builds cut-free proofs. In this work we formalize this procedure as a recursive function and prove its recursiveness in an arithmetically (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  4
    The Logical Impingement of Artifical Intelligence.Luíz Moniz Pereira - 1998 - Grazer Philosophische Studien 56:183-204.
    We address the impingement of Artificial Intelligence on logic, by examining the requirements posed on logic by knowledge representation and reasoning issues which A I has addressed. We then outline some of AI's contributions, via Logic Programming, to more dynamic forms of logic, in order to deal with knowledge in flux, namely: incomplete and contradictory information; hypotheses making through abduction; argumentation; diagnosis and debugging; updating; and learning. Along the way we delve into implications for the philosophy of knowledge.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  6
    Las fárbices caórdicas. Nuevos lenguajes organizacionales en la era de la complejidad.Raiza Andrade & Luz Marina Pereira - 2006 - Polis 15.
    Los constantes cambios que sacuden el mundo actual han hecho entrar en una situación organizacional de ruptura paradigmática; hoy los viejos lenguajes son insuficientes para llegar a ser éticos, sensitivos y rentables en el día a día. Las organizaciones que aprenden, concebidas como sistemas complejos, deben ser autoconscientes y estar en proceso de construcción y deconstrucción permanente que posibiliten el desarrollo de valores para un ambiente de trabajo dinámico y potenciador. Se propone el concepto de “fárbices caórdicas” como elemento esencial (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 72