Hi, All:
Just curious as to whether there is some sort of canonical extension of the standard
binary connectives: and, or, if, iff, etc. , to n-valued logic. I imagine this may have to see
with Lattices, maybe Heyting Algebras, and Order theory in general. Just wondering if
someone...