Directory of Science - All about Science

Tuesday, 11 December, 2018

search

for
Directories
 
 
 
 Recent Listings
  Agricultural and Environmental Sciences Journal
  4th World Congress on Nursing
  Experts Meet On Cancer Therapy
  Birat Journal of Health Sciences
  Current Research in Pharmaceutical Sciences
  Annual Physicians Meeting 2018
  Global Experts Meeting on Microbiology
  22nd Edition of International Conference on Neonatology and Perinatology
  International Conference on Applied Chemistry
  Global experts meeting on Hospital and Clinical Pharmacy
 
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