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