Soundness and completeness results for LEA and probability semantics Article in Journal of Logic and Computation (December 2022)