menu

Return to entry

Labelled_Formulas
Natural_Deduction
Labelled_Natural_Deduction
Erasure
Label_Algebra
Lifting
Unit_Labels
Provenance_Labels
Modal_Labels_Example
Modal_K_Schema
Examples

Gabbay_Labelled_Natural_Deduction.Lifting

HTML Presentation