On Semantics of a Term Calculus for Classical Logic Silvia Likavec; Pierre Lescanne — 2012 Publications de l'Institut Mathématique