Directory of Science - All about Science

Thursday, 21 June, 2018

search

for
Directories
 
 
 
 Recent Listings
  Journal of Surgery and Medicine
  International Conference on Internal Medicine
  Forensic Science
  World Congress on Neurology and Mental Disorders-2018
  Cell Tissue Science 2018
  World Congress on Diabetes and Endocrinology
  Dental Hygiene 2018 ( CPD accredited)
  Global Diet and Nutrition Meeting
  International Journal of Agriculture, Environment and Bioresearch
  International Women s Health, Gynecology & Obstetrics Conference
 
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