A Deductive System for the Semantics of Intensional Logic