ردهها گویاییهای زیرساختاری گویایی ختی همچنین شناخته شده با: منطق خطی برابر انگلیک (انگلیسی): Linear Logic