8 found
Order:
  1.  36
    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.  37
    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. 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  
  5.  15
    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  
  6.  7
    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  
  7.  8
    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  
  8. O Conceito De Prova Finitária Em Gentzen.Wagner de Campos Sanz - 1998 - Episteme 7.
    Translate
     
     
    Export citation  
     
    Bookmark