Girard's linear logic, Lukasiewicz logic (and several modal logics) have an intriguing simultaneous interpretation. It uses the co-universal characterization of closed intervals that arises from the search for a co-inductive approach to infinite precision real analysis.
Logic and Computation Seminar
Monday, April 16, 2007 - 4:30pm
Peter Freyd
University of Pennsylvania