Questions tagged [first-order-logic]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
6
votes
0answers
277 views

Reverse Skolemization?

I'm wondering if there are any references on "reverse skolemization", that is, converting a formula with functions into one purely consisting of quantifiers by eliminating function applications. I'm ...