Monthly Archives: March 2010
Topology and First-Order Modal Logic
The normal square root function can be considered to be multi-valued. Let’s momentarily accept the heresy of saying that the square root of a negative number is , so that our function will be total. How can we represent the … Continue reading
Filed under Uncategorized