Kripke Models: Test propositional logic with Kripke models

Recommend this page to a friend!
     
  Info   View files View files (4)   DownloadInstall with Composer Download .zip   Reputation   Support forum   Blog    
Ratings Unique User Downloads Download Rankings
Not enough user ratingsTotal: 91 All time: 430 This week: 4Up
Version License JavaScript version Categories
kripke-models 1.0GNU General Publi...1.0Math
Description Author

This object can test propositional logic with Kripke models.

It loads a XML file with the definition of a model and tests a formula for a given world defined in the model.

Innovation Award
JavaScript Programming Innovation award nominee
May 2013
Number 2		 Kripke models are useful to evaluate relational logic conditions.

This object can test propositional logic conditions in JavaScript.

Manuel Lemos
Picture of Daniel Martinez
  Performance   Level  
Name: Daniel Martinez <contact>
Classes: 6 packages by
Country: Spain Spain
Age: 36
All time rank: 191 in Spain Spain
Week rank: 6 Up2 in Spain Spain Down

Level 1 Star

 Innovation award
Innovation award
Nominee: 1x

  Files folder image Files  
File Role Description
Files folder imageJs (2 files)
Files folder imageModels (1 file)
Accessible without login Plain text file example.html Example example of using

  Files folder image Files  /  Js  
File Role Description
  Plain text file jquery.js Class auxiliar class source
  Plain text file KripkeModels.js Class Class source

  Files folder image Files  /  Models  
File Role Description
  Accessible without login Plain text file model.xml Data auxiliar xml data

Downloadkripke-models-2013-05-23.zip 35KB
Downloadkripke-models-2013-05-23.tar.gz 35KB
Install with ComposerInstall with Composer
 Version Control Unique User Downloads Download Rankings  
 0%
Total:91
This week:0
All time:430
This week:4Up

  Applications that use this package  
No pages of applications that use this class were specified.

Add link image If you know an application of this package, send a message to the author to add a link here.