Directory of Science - All about Science

Thursday, 21 June, 2018


 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


Records 1-6 of 6

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.

Records 1-6 of 6

© 2015 Directory of Science. All Rights Reserved