Chu Spaces Science, Math, Logic and Foundations, Nonstandard Logics and Extensions - Chu Spaces. Site created by Vaughan Pratt. http://chu.stanford.edu/