calculus
Contents
- Chapter 1 - Setting Up
- Calculus Module - Setting up the use of this module.
- Chapter 2 - Unary Predicates
- Unary Predicates - A lightweight structure to represent a unary predicate, which is either true or false when applied to a single term.
- Unary Predicate Families
- Kind Predicates
- Chapter 3 - Binary Predicates
- Chapter 4 - Propositions
- Chapter 5 - Sentences