Inference Rules and T-diagrams with the semantic Package

Author
LianTze Lim
View Count
1892
License
Creative Commons CC BY 4.0
Abstract

Some examples of typesetting inference rules and T-diagrams using the semantic package.

Inference Rules and T-diagrams with the semantic Package