Switch to: References

Citations of:

Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação)

Dissertation, Universidade Estadual de Campinas (2004)

Add citations

You must login to add citations.
  1. Tableaux sin refutación.Tomás Barrero & Walter Carnielli - 2005 - Matemáticas: Enseñanza Universitaria 13 (2):81-99.
    Motivated by H. Curry’s well-known objection and by a proposal of L. Henkin, this article introduces the positive tableaux, a form of tableau calculus without refutation based upon the idea of implicational triviality. The completeness of the method is proven, which establishes a new decision procedure for the (classical) positive propositional logic. We also introduce the concept of paratriviality in order to contribute to the question of paradoxes and limitations imposed by the behavior of classical implication.
    Download  
     
    Export citation  
     
    Bookmark   1 citation