Abstract
The article deals with a fazzy variant of P. Martin-Löf ’s intuitionistic type theory. It presents the overview of fuzzy type theory rules and an example of its application to the analysis of the persuasiveness of argumentation. In the latter, the truth values of fuzzy logic are interpreted as degrees of persuasiveness of statements and arguments. The formalization is implemented in the proof assistant Agda.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have