tokens: Il Sistema che andremo a studiare ( chiamato LKp ) e il frammento proposizionale del Sistema LK di , il cui nome e l'acronimo di Logik Klassische ossia " logica classica " ( mentre la " p " sta appunto per proposizionale ) .