Logical Semantics for the First Order Sigma-Calculus