Thursday, 21 June, 2018
Nonstandard Logics and Extensions
Abbasbandy, Saeid (Popularity: )
Imam Khomeini International University, Iran.
Multiple-valued Logic: A Tutorial (Popularity: )
Tutorial on multi-valued logic or MVL. It explains the differences between binary and multi-valued logic and provides examples. Introduces the concept of multi-value inverters.
TemporalRover (Popularity: )
Provides automatic verification of protocols and reactive systems through temporal logic specifications.
Fuzzy Logic Jump Start (Popularity: )
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.
Chu Spaces (Popularity: )
Site created by Vaughan Pratt. Chu spaces provide a rich class of model for linear logic.
The Logic of More (Popularity: )
Analysis of a ripple adder in binary logic and alternative designs in ternary and multi-value logics.
© 2015 Directory of Science. All Rights Reserved