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