Now showing items 1-1 of 1

  • L-Fuzzy Relations in Coq 

    Jackson, Ethan (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 ...