A Functional Partial Semantics for Intensional Logic