A General Semantics for Evaluation Logic