Logica |
| Truth Table | Clausal Form | Unification | Transformation | Deduction | Resolution | Epilog |
Logica includes support for a number of different logical systems. Which system would you like to use?
|
Class Demonstration System Mendelson's System Kleene's System |