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.