Directory of Science - All about Science

Saturday, 24 March, 2018


 Recent Listings
  IJIRAE:: International Journal of Innovative Research in Advanced Engineering
  Global Summit & Expo on Nanotechnology and Material Science
  2018 2nd International Conference on SmartRail, Traffic and Transportation Engineering(ICSTTE 2018)
  2018 2nd International Conference on New Energy Vehicle and Vehicle Engineering(NEVVE 2018)
  2018 2nd International Symposium on Mechanical Design, Manufacture and Automation(ISMDMA 2018)
  Social Behavior Research & Health
  International Journal of Medical Science And Innovative Research (IJMSIR)
  Annual Cardiology Congress
  Toxicology Conferences
  World Congress On Geochemistry
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