Friday, July 14, 2006

Many-valued logic (3)

Walter Carnielli : Many-valued Models (one of the tutorials offered at the 1st World Congress and School on Universal Logic (2005)).

[see the reference post for many-valued logics]