Labelled Deduction

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A formal method that augments syntactic formulas with explicit labels (such as worlds, states, resources, or proof annotations) that carry semantic information and guide the application of syntactic inference rules.