FuzzyTT

Fuzzy Type Theory

This is a variant of P.Martin-Löf ’s intuitionistic type theory with fuzzy type membership. Truth values of fuzzy logic are interpreted as degrees of persuasiveness for statements and arguments.

Tested with Agda 2.6.1.3, std-lib 1.5