Directory of Science - All about Science

Saturday, 16 December, 2017

search

for
Directories
 
 
 
 Recent Listings
  World Vaccine Summit and Expo
  Organic farming Pros and Cons
  Alternative Health Group - Natural Healthcare Provider
  Innovative Research In Computer Science & Technology International Journal
  Current Research in Pharmaceutical Sciences
  AYUSHDHARA
  Engineering Journal Publication
  World Congress on Marine Science
  International Journal of Trend in Scientific Research and Development
  Journal of Biological Sciences and Medicine
 
Category:  Science » Math » Logic and Foundations » Nonstandard Logics and Extensions SUGGEST CATEGORY  |  SUBMIT A SITE

Nonstandard Logics and Extensions

Order by  Popularity  |  Alphabet

Sites

Records 1-6 of 6
 



Abbasbandy, Saeid (Popularity: )
http://www.abbasbandy.com
Imam Khomeini International University, Iran.

Multiple-valued Logic: A Tutorial (Popularity: )
http://www.multivaluelogic.com
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.

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 how to create a logic controller as home exercise.

TemporalRover (Popularity: )
http://www.time-rover.com/
Provides automatic verification of protocols and reactive systems through temporal logic specifications.

Chu Spaces (Popularity: )
http://chu.stanford.edu/
Site created by Vaughan Pratt. Chu spaces provide a rich class of model for linear logic.

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.

 
Records 1-6 of 6

© 2015 Directory of Science. All Rights Reserved