Directory of Science - All about Science

Tuesday, 25 September, 2018

search

for
Directories
 
 
 
 Recent Listings
  Diabetes and Endocrinology
  Shirley Brey
  12th Edition of International Conference on Infectious Diseases
  IJIERT - International Journal of Innovation In Engineering, Research and Technology
  Euro Summit on Toxicology and Pharmacology
  Diabetes and Endocrinology 2019
  International Meeting on Nutraceuticals
  7th International Conference on Nutrition,Food Science and Technology
  Global Academic Digital Library
  International Journal of Advanced Microbiology and Health Research (IJAMHR)
 
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.

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

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