1. (100%) Logica positiva : plenitude, potencialidade e problemas (do pensar sem negação) - Tomas Andres Barrero Guzman
completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive completeness method proposed by Leon
- 17-oct-2009

2. (50%) An Application of Constructive Completeness. - Thierry Coquand,Jan M. Smith
simple completeness proof; it seems indeed simpler than the usual classical completeness proof. The second is that this completeness proof is now constructive and elementary. In particular, it does not
(ps) - 31-mar-2009

3. (50%) Kripke Completeness of First-Order Constructive Logics with Strong Negation
This paper considers Kripke completeness of Nelson's constructive predicate logic N3 and its ... eventually verify or falsify a statement, with proper additional information. The proofs of completeness are
(ps) - 31-mar-2009

4. (40%) A Constructive Proof of the Turing Completeness of Circal - Jeremie Detrey,Oliver Diessel,New South Wales
This paper gives a proof of the Turing completeness of the Circal process algebra by exhibiting a universal program capable of mapping any Turing machine description into Circal specifications that
(pdf) - 31-mar-2009

5. (40%) Kripke Completeness of First-Order Constructive Logics with Strong Negation - Hasuo Ichiro,Kashima Ryo
This paper considers Kripke completeness of Nelson's constructive predicate logic N and its several variants. N is an extension of intuitionistic predicate logic Int by an contructive negation
(ps) - 31-mar-2009