Equivalence, recursive negation and invariance of the mathematical uncertainty predicate

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.

MoreLess

Year of publication:	2009-10
Authors:	Birardi, Franco
Institutions:	Dipartimento di Scienze per l'Economia e l'Impresa, Università degli Studi di Firenze
Subject:	formalism \| intuitionism \| uncertainty

More details

Extent:	application/pdf
Series:	Working Papers - Mathematical Economics.
Type of publication:	Book / Working Paper
Notes:	Number 2009-07 2 pages long
Source:	RePEc - Research Papers in Economics

Persistent link: https://www.econbiz.de/10008550100