Source : Free On-Line Dictionary of Computing

neutrosophic logic
     
         (Or "Smarandache logic") A generalisation of {fuzzy
        logic} based on {Neutrosophy}.  A proposition is t true, i
        indeterminate, and f false, where t, i, and f are real values
        from the ranges T, I, F, with no restriction on T, I, F, or
        the sum n=t+i+f.  Neutrosophic logic thus generalises:
     
        - {intuitionistic logic}, which supports incomplete theories
        (for 0100 and i=0, with both
        t,f<100);
     
        - {dialetheism}, which says that some contradictions are true
        (for t=f=100 and i=0; some {paradoxes} can be denoted this
        way).
     
        Compared with all other logics, neutrosophic logic introduces
        a percentage of "indeterminacy" - due to unexpected parameters
        hidden in some propositions.  It also allows each component
        t,i,f to "boil over" 100 or "freeze" under 0.  For example, in
        some {tautologies} t>100, called "overtrue".
     
        {Home (http://www.gallup.unm.edu/~smarandache/NeutLog.txt)}.
     
        ["Neutrosophy / Neutrosophic probability, set, and logic",
        F. Smarandache, American Research Press, 1998].
     
        (1999-10-04)