FUZZY TYPE THEORY IN THE ANALYSIS OF ARGUMENTATION
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.
Keyword(s):
Keyword(s):
2015 ◽
Vol 25
(5)
◽
pp. 1040-1070
◽
1997 ◽
Vol 05
(03)
◽
pp. 223-238
◽
Keyword(s):
2000 ◽
Vol 113
(2)
◽
pp. 161-183
◽
2015 ◽
Vol 25
(5)
◽
pp. 1278-1294
◽