neutrosophic logic

neutrosophic logic

(logic)(Or "Smarandache logic") A generalisation of fuzzy logic based on Neutrosophy. A proposition is t true, iindeterminate, and f false, where t, i, and f are real valuesfrom the ranges T, I, F, with no restriction on T, I, F, orthe sum n=t+i+f. Neutrosophic logic thus generalises:

- intuitionistic logic, which supports incomplete theories(for 0
- fuzzy logic (for n=100 and i=0, and 0<=t,i,f<=100);

- Boolean logic (for n=100 and i=0, with t,f either 0 or100);

- multi-valued logic (for 0<=t,i,f<=100);

- paraconsistent logic (for n>100 and i=0, with botht,f<100);

- dialetheism, which says that some contradictions are true(for t=f=100 and i=0; some paradoxes can be denoted thisway).

Compared with all other logics, neutrosophic logic introducesa percentage of "indeterminacy" - due to unexpected parametershidden in some propositions. It also allows each componentt,i,f to "boil over" 100 or "freeze" under 0. For example, insome tautologies t>100, called "overtrue".

http://gallup.unm.edu/~smarandache/NeutLog.txt.

["Neutrosophy / Neutrosophic probability, set, and logic",F. Smarandache, American Research Press, 1998].