Project Plan Principia Mathematica II

Date: 2002-07-07

Middle run plan

- validation phase of current stage
  * write several tests
  * define LaTex integration
  * complete documentation
    + exact module definition
    + better javadoc (e.g. package descriptions)
    + formal 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
    + optional no use of "System" font
    + optional no use of Tables
    + convert included LaTex
  * create (configurable) coverters to pdf, tex, txt
  * include proof line number as first argument
     in LINE
 
- improvement of logical rules 
  * multi arguments for AND and OR
  * deduction rules
  * equivalent formulas
  * meta rule: find appropriate rule
 
- completion of logical rules
  * allow subject constants and functions
  * allow predicate constants and definitions
  * start with set theory
  * start "promotion tour"


Next planned actions

1.
- improve module texts
- write project specification

2.
- 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