11 found
Order:
Disambiguations
Wagner de Campos Sanz [8]Wagner Sanz [5]Wagner Campos Sanz [1]
  1.  40
    Failure of Completeness in Proof-Theoretic Semantics.Thomas Piecha, Wagner de Campos Sanz & Peter Schroeder-Heister - 2015 - Journal of Philosophical Logic 44 (3):321-335.
    Several proof-theoretic notions of validity have been proposed in the literature, for which completeness of intuitionistic logic has been conjectured. We define validity for intuitionistic propositional logic in a way which is common to many of these notions, emphasizing that an appropriate notion of validity must be closed under substitution. In this definition we consider atomic systems whose rules are not only production rules, but may include rules that allow one to discharge assumptions. Our central result shows that Harrop’s rule (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  39
    Inversion by Definitional Reflection and the Admissibility of Logical Rules: Inversion by Definitional Reflection.Wagner De Campos Sanz - 2009 - Review of Symbolic Logic 2 (3):550-569.
    The inversion principle for logical rules expresses a relationship between introduction and elimination rules for logical constants. Hallnäs & Schroeder-Heister proposed the principle of definitional reflection, which embodies basic ideas of inversion in the more general context of clausal definitions. For the context of admissibility statements, this has been further elaborated by Schroeder-Heister. Using the framework of definitional reflection and its admissibility interpretation, we show that, in the sequent calculus of minimal propositional logic, the left introduction rules are admissible when (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3. On Dummett’s Verificationist Justification Procedure.Wagner de Campos Sanz & Hermógenes Oliveira - 2016 - Synthese 193 (8):2539-2559.
    We examine the proof-theoretic verificationist justification procedure proposed by Dummett. After some scrutiny, two distinct interpretations with respect to bases are advanced: the independent and the dependent interpretation. We argue that both are unacceptable as a semantics for propositional intuitionistic logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  26
    Inversion by Definitional Reflection and the Admissibility of Logical Rules.Wagner Campos Sanz & Thomas Piecha - 2009 - Review of Symbolic Logic 2 (3):550-569.
    The inversion principle for logical rules expresses a relationship between introduction and elimination rules for logical constants. Hallnäs & Schroeder-Heister proposed the principle of definitional reflection, which embodies basic ideas of inversion in the more general context of clausal definitions. For the context of admissibility statements, this has been further elaborated by Schroeder-Heister . Using the framework of definitional reflection and its admissibility interpretation, we show that, in the sequent calculus of minimal propositional logic, the left introduction rules are admissible (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  85
    Disbelief Logic Complements Belief Logic.John Corcoran & Wagner Sanz - 2008 - Bulletin of Symbolic Logic 14 (3):436.
    JOHN CORCORAN AND WAGNER SANZ, Disbelief Logic Complements Belief Logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 USA E-mail: corcoran@buffalo.edu Filosofia, Universidade Federal de Goiás, Goiás, GO 74001-970 Brazil E-mail: sanz@fchf.ufg.br -/- Consider two doxastic states belief and disbelief. Belief is taking a proposition to be true and disbelief taking it to be false. Judging also dichotomizes: accepting a proposition results in belief and rejecting in disbelief. Stating follows suit: asserting a proposition conveys belief and denying conveys disbelief. Traditional logic (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  22
    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  
  7. Acerca do conceito de consequência lógica.Alfred Tarski & Wagner de Campos Sanz - 2001 - Princípios 8 (10):220-233.
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  18
    Relating Intuitionist Negation and Triviality.Wagner de Campos Sanz - 2004 - Logic Journal of the IGPL 12 (6):581-599.
    In the present paper we analyse how intuitionist negation relates to the concept of triviality. A proposition is trivial if it implies every other proposition. We claim that for natural deduction intuitionist logic such concept affords us a negation introduction rule schema that corresponds by the inversion principle to the usual negation elimination shcema, ex contradictionerm quodlibet.1.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  8
    A Note On Gentzen's Lj And Nj Systems Isomorphism.Wagner de Campos Sanz - 2007 - Logic Journal of the IGPL 15 (5-6):767-774.
    In this paper we are going to examine intuitionistic sequent calculus and its negation rules. We state new negation rules defining, in this way, a new sequent system. It will be used to clarify Gentzen's NJ and LJ systems isomorphism. These new negation rules are a direct reading of new natural deduction negation rules obtained by a slight modification of NJ rules. We also show that the new system is equivalent to LJ and that the Hauptsatz holds for it.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  9
    Problemas do condicional:relevância.Wagner de Campos Sanz - 2000 - Philósophos - Revista de Filosofia 5 (1):175-185.
    Após uma breve análise do problema da relação de relevancia entre o antecedente e o consequente de um condicional, fazemos uma análise de qual deve ser a estrutura de um critério de adequação para uma definição de relevancia em uma demonstração.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. O Conceito De Prova Finitária Em Gentzen.Wagner de Campos Sanz - 1998 - Episteme 7.
    Translate
     
     
    Export citation  
     
    Bookmark