Weakening

structural inference rule in a logical system

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

หมวดหมู่:

structural rule