Search
Now showing items 1-1 of 1
L-Fuzzy Relations in Coq
(Brock University, 2014-09-05)
Heyting categories, a variant of Dedekind categories, and Arrow categories provide a
convenient framework for expressing and reasoning about fuzzy relations and programs
based on those methods. In this thesis we present ...