એવી તાર્કિક ભાષા કે જે આવા પદાનુક્રમમાં તત્વોને અલગ કરે છે તે પ્રકાર સિદ્ધાંતનો ઉપયોગ કરે છે.