| |
 |
Category List - Main » Science » Math » Logic and Foundations |
 |
|
New Sites - Main » Science » Math » Logic and Foundations » Nonstandard Logics and Extensions |
|
|
The Logic of More (27th April, 2005) : Analysis of a ripple adder in binary logic and alternative designs in ternary and multi-value logics. |
|
Chu Spaces (27th April, 2005) : Site created by Vaughan Pratt. Chu spaces provide a rich class of model for linear logic. |
|
Fuzzy Logic Jump Start (27th April, 2005) : Shows some examples of how this system would work. Includes instruction on method, perception, and sets. Also, gives details on how to create a logic controller as home exercise. |
|
TemporalRover (27th April, 2005) : Provides automatic verification of protocols and reactive systems through temporal logic specifications. |
|
Top Sites - Main » Science » Math » Logic and Foundations » Nonstandard Logics and Extensions |
|
Chu Spaces ( ) : Site created by Vaughan Pratt. Chu spaces provide a rich class of model for linear logic.
|
|
The Logic of More () : Analysis of a ripple adder in binary logic and alternative designs in ternary and multi-value logics.
|
|
Fuzzy Logic Jump Start () : Shows some examples of how this system would work. Includes instruction on method, perception, and sets. Also, gives details on how to create a logic controller as home exercise.
|
|
TemporalRover () : Provides automatic verification of protocols and reactive systems through temporal logic specifications.
|
|
|
