Logika je używano do lifrowanio formalnyj symantyki tego, jak funkcyje miarkowanio winny być stōsowane do symbolōw w systymie KR.