Results for 'Luiz Carlos Pd Pereira'

1000+ found
Order:
  1.  29
    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  
  2. The Rules-as-Types Interpretation of Schroder-Heister's Extension of Natural Deduction.Edward Hermann Haeusler & Luiz Carlos Pd Pereira - 1999 - Manuscrito 22 (2):149.
     
    Export citation  
     
    Bookmark  
  3.  33
    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   3 citations  
  4.  13
    Proof, Logic and Formalization.Luiz Carlos Pereira - 1997 - Erkenntnis 47 (2):245-254.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  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  
  6.  34
    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  
  7.  31
    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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  8. Advances in Natural Deduction: A Celebration of Dag Prawitz's Work (Trends in Logic Book 39).Luiz Carlos Pereira, Herman Hauesler & Valeria Correa Vaz De Paiva - 2014 - Springer.
    This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science.
     
    Export citation  
     
    Bookmark  
  9. Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.
    This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science. The range of contributions includes material on the extension of natural deduction with higher-order (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  48
    Michael Detlefsen , Proof, Logic and Formalization. Michael Detlefsen , Proof and Knowledge in Mathematics.Luiz Carlos Pereira - 1997 - Erkenntnis 47 (2):245-254.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  1
    On the Estimation of the Length of Normal Derivations.Luiz Carlos P. D. Pereira - 1982 - Akademilitteratur.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. A.“Citizenship And.Luiz Carlos Bresser Pereira - forthcoming - Res Publica.
     
    Export citation  
     
    Bookmark  
  13. Cidadania e.Luiz Carlos Bresser Pereira - forthcoming - Res Publica.
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  12
    Historical Models and Economic Syllogisms.Luiz Carlos Bresser-Pereira - 2018 - Journal of Economic Methodology 25 (1):68-82.
    This paper proposes a classification of economic models into three types: historical, axiomatic and conditional. Historical or empirical models utilize the historical-deductive method, and are generalizations from the economic regularities and tendencies that we find in the real world. Axiomatic models utilize the hypothetical-deductive method; they are syllogisms whose major premise is an axiom – a self-evident truth; they are appropriate for methodological sciences such as mathematics and econometrics. Conditional economic models are likewise syllogisms, but they are suitable for economics (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  15.  84
    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. Logic, Sets and Information: Proceedings of the Tenth Brazilian Conference on Mathematical Logic.Walter A. Carnielli & Luiz Carlos P. D. Pereira (eds.) - 1995 - Centro de Lógica, Epistemologia e História da Ciência, Unicamp.
    Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Coleção CLE, volume 14, 1995. Centro De Lógica, Epistemologia e História da Ciência, Unicamp, Campinas, SP, Brazil.
     
    Export citation  
     
    Bookmark  
  17.  5
    A propósito del formalismo de Johann von Neumann.Abel Lassalle Casanave & Luiz Carlos Pereira - 2020 - Metatheoria – Revista de Filosofía E Historia de la Ciencia 10 (2):51--59.
    In 1930, Johann von Neumann, together with Rudolf Carnap and Arend Heyting, participated in a conference held in Königsberg, called “Second Seminar on the Epistemology of Exact Sciences”. The idea behind the reunion of these three researchers was to compose a fairly faithful picture of the three main foundational programs of mathematics at the time: formalism, logicism, and intuitionism. The main objective of this paper is to propose an analysis of the text “The Formalist Foundation of Mathematics” presented by von (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  25
    An Ecumenical Notion of Entailment.Elaine Pimentel, Luiz Carlos Pereira & Valeria de Paiva - 2019 - Synthese 198 (S22):5391-5413.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  92
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  17
    Falsity, Negation and Modality: Reply to Luiz Carlos Pereira.O. Chateaubriand - 2004 - Manuscrito 27 (1):193-200.
    In §1 I explain that my rejection of possible states of affairs as a basis for an account of falsity is not part of a general rejection of modal notions but is a rejection of possible and impossible entities of any sort. I then show that my account of senses and of propositions is indeed a modal account. In §2 I examine some of Wittgenstein’s ideas about falsity, as presented by Luiz Carlos, in relation to my account of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  14
    An Artifact for Evaluating the Quality of Health Service Providers: Evidence From Brazil.Lúcia Helena da Silva Mendes, Luiz Cláudio Sampaio Mendes, Lilian Lucy dos Santos, Carlos Otávio Senff, Claudimar Pereira da Veiga & Luiz Carlos Duclós - 2018 - Inquiry: The Journal of Health Care Organization, Provision, and Financing 55:004695801879016.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  36
    Sobre as Políticas Externas da Argentina, Do Brasil E Do Chile Com Relação À Alemanha, Aos Estados Unidos E À Itália Entre a Conferência de Lima E a Entrada Do Brasil Na Segunda Guerra Mundial. [REVIEW]Jorge Luiz Pereira Ferrer, Alexander Zhebit & Francisco Carlos Teixeira da Silva - 2012 - Dialogos 16 (2).
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  30
    O horizonte da juventude na educação e pastoral populares: história, diálogo e configuração de Medellín a Puebla (1968-1979). 2012. [REVIEW]Luiz Carlos Itaborahy - 2013 - Horizonte 11 (29):414-416.
    DISSERTAÇÃO DE MESTRADO ITABORAHY, Luiz Carlos. O horizonte da juventude na educação e pastoral populares : história, diálogo e configuração de Medellín a Puebla (1968-1979). 2012. 207 folhas. Dissertação (Mestrado) – Pontifícia Universidade Católica de Minas Gerais, Programa de Pós-graduação em Ciências da Religião, Belo Horizonte.
    No categories
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Hermenêutica e psicanálise: a dobra na linguagem Gadamer e Lacan.Luiz Carlos Santuário - 2006 - Human Nature 8 (s).
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  11
    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.
  26. Meaning and Context.Erich Rast & Luiz Carlos Baptista (eds.) - 2010 - Peter Lang.
  27. Encontro Na Linguagem: Estudos Lingüísticos E Literários.Luiz Carlos Travaglia & Dermeval da Hora (eds.) - 2006 - Edufu.
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  9
    As interfaces do humanismo latino.Luiz Carlos Bombassaro, Arno Dal Ri Júnior & Jayme Paviani (eds.) - 2004 - EDIPUCRS.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  4
    Imagem E Conceito: A Metáfora da Caça Na Filosofia da Renascença.Luiz Carlos Bombassaro - 2007 - Revista de Filosofia Aurora 19 (24):11.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  17
    VIANNA, Marielle de Souza, Práticas de leitura e religiosidade em Dom Quixote.Luiz Carlos Bombassaro - 2015 - Conjectura: Filosofia E Educação 20 (3):225-230.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  1
    A física da liberdade: o fatalismo no sistema da natureza de Holbach.Luiz Carlos Montans Braga - 2012 - Griot : Revista de Filosofia 5 (1):166-178.
    Trata-se de mostrar as teses e argumentos de Holbach sobre a liberdade, a necessidade, bem como sobre seu "sistema do fatalismo". Objetiva-se sustentar a hipótese de que as teses de Holbach sobre a liberdade, a necessidade e o fatalismo não implicam a aceitação da imutabilidade ou cristalização do real.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  4
    A Lente E o Pince-Nez: Machado de Assis, Espinosa E a Cultura Política No Brasil.Luiz Carlos Montans Braga - 2019 - Cadernos Espinosanos 41:75-100.
    Machado de Assis, no conto _A Sereníssima República_, aponta, por meio da alegoria, problemas de fundo do sistema político brasileiro. Uma espécie de cultura da fraude estaria presente nos comportamentos das aranhas, o que impossibilitaria a implantação reta e precisa da lei, bem como a instituição da paz e da _securitas_. Sérgio Buarque de Holanda, ao analisar, a partir de fontes primárias, o período em que se passa o conto, constata os mesmos problemas que Machado de Assis apontara. Os conceitos (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  1
    A Virtù E a Regra: Nota Sobre Maquiavel.Luiz Carlos Montans Braga - 2016 - Griot : Revista de Filosofia 13 (1):109-121.
    O artigo pretende tratar de um tema presente nos Discursos sobre a primeira década de Tito Lívio, bem como em outros textos de Maquiavel: o dos homens bons plenos de virtù e seu papel na fundação do campo jurídico-político. A primeira questão a ser trabalhada é a do método em Maquiavel. Após, o conceito de virtù será analisado no que se refere a sua importância para a fundação e manutenção jurídico-política da cidade.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  1
    Regimes Políticos E Potentia: A Reviravolta Espinosana.Luiz Carlos Montans Braga - 2017 - Griot : Revista de Filosofia 15 (1):1-16.
    O tema de fundo do artigo é o dos regimes políticos em Espinosa. O objetivo é o de analisar, no interior deste tema mais amplo, o da distribuição da potência entre os membros do corpo político como critério comum aos regimes. A questão dos regimes, em Espinosa, não passa apenas pela definição do número dos que governam. Um rol de conceitos - homem como potência, afetos, multidão, imperium, entre outros - deve ser levado em conta para tratar da clássica questão.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  12
    Uma Tese Radical: Espinosa E a Democracia.Luiz Carlos Montans Braga - 2019 - Cadernos Espinosanos 40:195-205.
    Resenha do livro "O mais natural dos regimes. Espinosa e a Democracia", de Diogo Pires Aurélio.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  5
    Caminhos E Descaminhos Do Desejo Nos Textos de Emmanuel Lévinas E de René Girard.Luiz Carlos Susin - 1999 - Veritas – Revista de Filosofia da Pucrs 44 (2):301.
    Este texto objetiva a comparaçãocótica entre o conjunto das obras de René Girarde Emmanuel Levinas no que diz respeito especialmenteaos temas "desejo" e "contemporaneidade",evidenciando as formas diversificadasporém de cena forma convergentes pelas quaisambos os autores penetram na massa da fatosque podem se organizar reflexivamente nasestruturas mais profícuas de compreensão darealidade no atual momento histórico.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  8
    Diálogo E Interculturalidade.Luiz Carlos Susin - 2003 - Veritas – Revista de Filosofia da Pucrs 48 (2):197.
    Diálogo intercultural é a relação ética capaz de dar conta do desafio posto pela globalização que acelerou o contato e a interferência entre as culturas. Para um diálogo autêntico, há pressupostos sine qua non: a desideologização do universalismo cultural, o desocultamento da pluralidade. Além disso, há necessidade de um aclaramento conceitual que ajude a fazer opções pelos conceitos operacionais que realmente possam ajudar a ter uma postura de diálogo. Entre estes conceitos, aqui se privilegia o conceito “sistêmico” e de cultura (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  15
    Ethics and Optics: The Occidentality of Levinas From the Heart of the Americas.Luiz Carlos Sussin - 1999 - Philosophy Today 43 (2):135-142.
  39.  27
    Teologia da Libertação: de onde viemos, para onde vamos? (Liberation Theology: where do we come from? Where are we going to?).Luiz Carlos Susin - 2013 - Horizonte 11 (32):1678-1691.
    Minga-Mutirão de Revistas de Teologia Latino-americanas Teologia da Libertação: de onde viemos, para onde vamos? (Liberation Theology: where do we come from? Where are we going to?).
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40. Sung Emotion:'Eu Sei Que Vou Te Amar'(Songs and the Study of Emotions).Luiz Tatit & Iva Carlos Lopes - 2007 - Semiotica 163 (1-4):11-28.
     
    Export citation  
     
    Bookmark  
  41. Entre o Profano eo Sagrado: Imagens de Mulher nas Páginas do Jornal Sorocabano O Operário (1909-1913).Luiz Carlos Barreira - 2004 - Quaestio: Revista de Estudos Em Educação 6 (2).
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. Escola, periodismo e vida urbana-notícia sobre um projeto de pesquisa.Luiz Carlos Barreira - 2002 - Quaestio: Revista de Estudos Em Educação 4 (2):p - 133.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  40
    Parallel Visual Pathways From the Retina to the Visual Cortex – How Do They Fit?Luiz Carlos L. Silveira - 2004 - Behavioral and Brain Sciences 27 (1):50-51.
    Which roles are played by subcortical pathways in models of cortical streams for visual processing? Through their thalamic relays, magnocellular (M) and parvocellular (P) projecting ganglion cells send complementary signals to V1, where their outputs are combined in several different ways. The synergic role of M and P cells in vision can be understood by estimating cell response entropy in all domains of interest.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  47
    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 (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  45. Null-Result Detection and Einstein-Podolsky-Rosen Correlations.Luiz Carlos Ryff - 2014 - Foundations of Physics 44 (1):58-70.
    It follows from Bell’s theorem and quantum mechanics that the detection of a particle of an entangled pair can (somehow) “force” the other distant particle of the pair into a well-defined state (which is equivalent to a reduction of the state vector): no property previously shared by the particles can explain the predicted quantum correlations. This result has been corroborated by experiment, although some loopholes still remain. However, it has not been experimentally proved—and it is far from obvious—that the absence (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  46.  5
    A Condição Epistêmica Do Inconsciente Lacaniano.Luiz Carlos Santuário - 2003 - Veritas – Revista de Filosofia da Pucrs 48 (2):277.
    Na tarefa de reconstruir compreensivamente o saber trazido pela psicanálise de Jacques Lacan, é utilizado o framework da postura transcendental herdeira de Kant. O termo “amálgama” permite compreender a incorporação, no gesto lacaniano, de saberes oriundos de distintas áreas do conhecimento humano e que, submetidos ao cadinho da torção lacaniana, possibilitam a Lacan a produção de uma ontogênese originalíssima sobre o humano-ser. A metamorfose lacaniana é uma operação que implica numa revisão dos conceitos em seu campo originário e uma Aufhebung (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  49
    Clivagem, diferença e dobra na estrutura do humano: Lacan, Apel e Gadamer.Luiz Carlos Santuário - 2005 - Veritas – Revista de Filosofia da Pucrs 50 (1):187-200.
    A filosofia, sendo um discurso antípoda ao discurso das ciências, no sentido de que não produz um conhecimento sobre particularidades, situa-se a priori no espaço interno de uma clivagem, de uma diferença e de uma dobra onde este discurso e este saber são produzidos e apresentados. Na cena contemporânea três pensadores, Lacan, Apel e Gadamer, tematizam a experiência do humano como ligada estritamente à linguagem enquanto elemento estruturador do humano, na medida em que este é situado no interior do espaço (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  9
    Filosofia E psicanálise: A linguagem em lacan, Apel E Gadamer.Luiz Carlos Santuário - 2005 - Revista de Filosofia Aurora 17 (20):147.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  7
    Filosofia E psicanálise a questão da al teridade em lacan E Levinas.Luiz Carlos Santuário - 1999 - Veritas – Revista de Filosofia da Pucrs 44 (2):369.
    O tema da alteridade é caro a ambosos autores. Contudo, a tematização da especificidadedesta alteridade é dissimétrica em cadaautor. Em Levinas, o privilégio é concedido àpresença originária do outro, enquanto produtorde um trauma desorganizante original para aprodução do eu e da própria relação com o outro.Por seu lado, para a psicanálise de Lacan, arelação mais originária do sujeito é com o símbolo,na medida em que o autor reivindica a anterioridadeoriginária da ordem simbólica que operacomo conditio sine qua non da assunção (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  8
    GAGAMER, Hans-Georg. A Razão Na Época da Ciência: Rio de Janeiro: Tempo Brasileiro, 1983.Luiz Carlos Santuário - 2002 - Veritas – Revista de Filosofia da Pucrs 47 (1):108.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000