TemporalRover (Popularity: )
http://www.time-rover.com/ Provides automatic verification of protocols and reactive systems through temporal logic specifications.
Fuzzy Logic Jump Start (Popularity: )
http://www.fuzzy-logic.com/ Shows some examples of how this system would work. Includes instruction on method, perception, and sets. Also, gives details on ...
Chu Spaces (Popularity: )
http://chu.stanford.edu/ Site created by Vaughan Pratt. Chu spaces provide a rich class of model for linear logic.