Weakening

structural inference rule in a logical system

en-US/ˈwikənɪŋ/
en-GB/ˈwiːkənɪŋ/

ক্যাটাগরি:

structural rule