31 found
Order:
  1.  38
    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  
  2.  28
    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   4 citations  
  3.  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  
  4. A New Proof System for Intuitionistic Logic.Valeria de Paiva & Luiz C. Pereira - 1995 - Bulletin of Symbolic Logic 1 (1):101.
  5. 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   2 citations  
  6.  90
    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  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  99
    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  
  8.  93
    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  
  9.  50
    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  
  10.  26
    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 that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11. Alguns resultados sobre fragmentos com negação da lógica clássica.Luiz Pereira, Edward Hauesler & Maria de Medeiros - 2008 - O Que Nos Faz Pensar:105-111.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  12. 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  
  13. Apresentação.Déborah Danowski & Luiz Pereira - 2004 - O Que Nos Faz Pensar:5.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. 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  
  15. A Pure View of Ecumenical Modalities.Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel & Emerson Sales - 2021 - In Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings. Springer Verlag. pp. 388-407.
    Recent works about ecumenical systems, where connectives from classical and intuitionistic logics can co-exist in peace, warmed the discussion on proof systems for combining logics. This discussion has been extended to alethic modalities using Simpson’s meta-logical characterization: necessity is independent of the viewer, while possibility can be either intuitionistic or classical. In this work, we propose a pure, label free calculus for ecumenical modalities, nEK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {nEK}$$\end{document}, where exactly one logical operator figures (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. 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  
  17.  2
    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  
  18. Breves considerações sobre o niilismo e o revisionismo na lógica.Luiz Pereira - 2006 - O Que Nos Faz Pensar:91-99.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  1
    On the Estimation of the Length of Normal Derivations.Luiz Carlos P. D. Pereira - 1982 - Akademilitteratur.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. A Categorical Approach To Higher-Level Introduction And Elimination Rules.Haydee Poubel & Luiz Pereira - 1994 - Reports on Mathematical Logic:3-19.
    A natural extension of Natural Deduction was defined by Schroder-Heister where not only formulas but also rules could be used as hypotheses and hence discharged. It was shown that this extension allows the definition of higher-level introduction and elimination schemes and that the set $\{ \vee, \wedge, \rightarrow, \bot \}$ of intuitionist sentential operators forms a {\it complete} set of operators modulo the higher level introduction and elimination schemes, i.e., that any operator whose introduction and elimination rules are instances of (...)
     
    Export citation  
     
    Bookmark  
  21.  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  
     
    Export citation  
     
    Bookmark  
  22.  16
    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.  31
    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  
  24. 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  
  25. 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
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  21
    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.
  27.  17
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  28.  15
    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  
  29.  14
    Proof, Logic and Formalization.Luiz Carlos Pereira - 1997 - Erkenntnis 47 (2):245-254.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  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  
  31.  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