Approaches to rules
- Rules as contingent rules of inference
- A dedicated connective for rules
- Rule identifiers
- Rules as objects
Previous slide
Next slide
Back to first slide
View graphic version