Java Logic Package

under construction

The idea

To be able to represent:

  • logical formulas
  • logical connectives
  • logical systems

Using:

  • design patterns
  • java collections

Objectives

  1. To be able to create a formula easily
Formula a = FormulaParser.create(CLASSICAL_LOGIC, "p->q");
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License