Equivalence, recursive negation and invariance of the mathematical uncertainty predicate

Franco Birardi ()
Additional contact information
Franco Birardi: Dipartimento di Matematica per le Decisioni, Universita' degli Studi di Firenze

No 2009-07, DiMaD Working Papers from Dipartimento di Matematica per le Decisioni, Universita' degli Studi di Firenze

Abstract: It is impossible to prove the equivalence of double negation for the Systeme I of Godel. It is possible to deduce the equivalence of double negation with a three valued logic which is coherent with respect to symmetric implication and has the third value as invariant by negation. It is possible to annihilate the third value and switch back to the two valued boundary logic. Brouwer and Godel provide the foundation for the theory of uncertainty.

Keywords: formalism; intuitionism; uncertainty (search for similar items in EconPapers)
Date: 2009-10

Downloads: (external link)
http://www.dmd.unifi.it/RePEc/flo/WorkingPapers/2009/DiMaDWP2009-07.pdf (application/pdf)
Our link check indicates that this URL is bad, the error code is: 404 Not Found

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: http://EconPapers.repec.org/RePEc:flo:wpaper:2009-07

Access Statistics for this paper

More papers in DiMaD Working Papers from Dipartimento di Matematica per le Decisioni, Universita' degli Studi di Firenze
Contact information at EDIRC.
Series data maintained by Andrey Sarychev ().