-
Notifications
You must be signed in to change notification settings - Fork 1
Goals
Pedro Fanha edited this page Feb 3, 2019
·
9 revisions
To create an interpreter for RPL that follows as closely as possible the rules of the book "Meaning and Argument: An Introduction To Logic Through Language", by Ernest Lepore & Sam Cumming, such that it:
- Understands both statement sets and arguments
- Provides an implementation of the truth tree method
- Allows checking for consistency of statement sets and formal validity of arguments