PHP Developer's Network : Network Member
Forums

PHP Classes
Icontem

Class: First Order Logic Prop


  Search   All class groups All class groups   Latest entries Latest entries   Top 10 charts Top 10 charts   Newsletter Newsletter   Blog Blog   Forums Forums   Help FAQ Help FAQ  
  Login   Register  
Recommend this page to a friend!
      Classes of naholyr  >  First Order Logic Prop  >  Download  >  Support forum Support forum  >  RSS 1.0 feed RSS 2.0 feed Latest changes  >  Stumble It! Stumble It!  >  Bookmark in del.icio.us Bookmark in del.icio.us  
  Supplied by   Group folder image Groups   Detailed description  
  Rate classes User ratings   Applications   Related links   Files Files  

  • Supplied by:

    Picture of naholyr
    Name: naholyr <e-mail contact>
    Published packages: 1
    Country: France France - PHP jobs in France
    Home page: http://naholyr.free.fr/autophpdoc
    Age: 27
    All time rank: 1815
    Week rank: 1777

    Browse this author's classes

  • Groups:

    Group folder image Math Math related classes. View top rated classes

  • Detailed description:

    This class allows you to parse first order logic formulas. These formulas can be written in any syntax that you define.

    You can apply basic logic operations (and, or, not, implies, etc...).

    You can transform proposition (cleaning, developing, disjunctive form, conjunctive form).

    You can even make demonstrations of your proposition, by looking up the values table or simply by demonstrating it (simple analysis of the disjunctive form: not too greedy).

    The FOLP Checker allows you to prove that a proposition is a theorem, and if it is not, you will be presented a counterexample.

    Karnaugh's table and other nice features will be soon added.

  • User ratings:

    Ratings
    Utility
    Consistency
    Documentation
    Examples
    Tests
    Videos
    Overall
    Rank
    All time:
    Good (83.3%)
    Sufficient (66.7%)
    -
    Sufficient (66.7%)
    -
    -
    Not sure (55.0%)
    893
    Month:
    Not yet rated by the users

  • Applications that use this class:

    Link Description
    online demo shows the test script in action
    Add link image If you know an application of this package, send a message to the author to add a link here.

  • Related links:

    Link Description
    online documentation (FR) generated by AutoPhpDoc

  • Files:

    File Role Description
    Files folder image demo
      Plain text file index.php Example The basic demo: showing the values table, normal forms, and can prove the given formula
      Plain text file syntax.litteral Data Defines litteral syntax for the demo file (it then accepts two syntax, for example "a & b" is the same than "a AND b"). This is an example on how you can add your own supported syntax
    Files folder image examples
      Plain text file example1.php Example basic operations on propositions
      Plain text file example2.php Example testing EQUALITY (and not equivalence) of formulas
      Plain text file example3.php Example testing if propositions are in disjunctive/conjunctive forms
      Plain text file example4.php Example Show cloning feature, and how to set values to variables in a proposition
      Plain text file example5.php Example Shows how you can extend the base class to have nice HTML output of the values table
      Plain text file example6.php Example Shows conjunctive/disjunctive forms of a proposition. You can see here that the computation time is a bit long :(
    Plain text file FirstOrderLogicProp.inc.php Class The file containing base class and the checker class
    Download all files: firstorderlogicprop.tar.gz firstorderlogicprop.zip
    NOTICE: if you are using a download manager program like 'GetRight', please Login before trying to download this archive.

 
  Advertise on this site Advertise on this site   Site map Site map   Statistics Statistics   Site tips Site tips   Privacy policy Privacy policy   Contact Contact  
For more information send a message to :
info at phpclasses dot org.
Copyright (c) Icontem 1999-2008 PHP Classes - PHP Class Scripts
  PHP Book Reviews - Reviews of books and other products