Sa lògica est usada po fruniri sa semàntica formali de cummenti is funtzionis de arrexonamentu iant depi essi aplicadas a is sìmbulus in su sistema KR.