Project Plan Principia Mathematica II

Date: 2002-01-22

Long run plan

- validation phase of current stage
  * write several tests
  * define LaTex integration
  * complete documentation
    + exact module definition
    + better javadoc (e.g. package descriptions)
    + correct html representation
  * create comfortable module viewer and editor
    + analysis functions (e.g. for dependencies)
  * write much more proofs
  * write article about mathematical background
  * improve current html converter
    + no use of "System" font
    + no use of Tables
    + convert included LaTex
  * create (configurable) coverters to pdf, tex, txt
 
- improvement of logical rules 
  * multi arguments for AND and OR
  * deduction rules
  * equivalent formulas
  * meta rule: find appropriate rule
 
- completion of logical rules
  * allow predicates and definitions
  * start with set theory
  * start "promotion tour"


next planned actions

- add simple LaTex support for html converter
- write converter for creating txt files
- add new rules:
  * deduction rule
  * multi arguments for AND and OR
- additional functions: 
  * remove all abbreviations
  * create complete proof without any sentence reference