Formulas as Programs

Krzysztof R. Apt, Marc Bezem

We provide here a computational interpretation of first-order logic based on a constructive interpretation of satisfiability w.r.t. a fixed but arbitrary interpretation. In this ap…