Specialized Inference Rules

• The Unique Variable Binding Rule

• Relevance Logic

Previous slide

Next slide

Back to first slide

View graphic version