Home Submit URL Add to Favorite Contact
           28 March, 2024
 
    
Category:  Science »  Math »  Logic and Foundations »  Nonstandard Logics and Extensions SUBMIT A SITE | Suggest A Category |  Search Category

Nonstandard Logics and Extensions

Records 1-4 of 4
Order by  Date Added  |  Popularity  |  Alphabet
The Logic of More (Popularity: )
http://www.ternarylogic.com/
Analysis of a ripple adder in binary logic and alternative designs in ternary and multi-value logics.

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.