A Free Variable Version of the First-Order Predicate Calculus
Copyright policy )A Free Variable Version of the First-Order Predicate Calculus
The authors present here a free variable version of the first-order predicate calculus. Based on some refinements of the Skolem functions and epsilon calculus, the paper develops in a purely technical and syntactical manner the equivalence of their free variable version of quantification with the usual first-order predicate calculus by showing that there is a conservative extension of both systems. Also, they briefly examine the computational aspect of the free variable version of predicate calculus by some proof procedures that use unification of terms in a resolution style.
- Courant Institute of Mathematical Sciences United States
- Saint John's University Thailand
- New York University United States
- St. John's University United States
Mechanization of proofs and logical operations, unification, free variable version of first-order predicate calculus, epsilon calculus, resolution, Classical first-order logic, Skolem functions, Theorem proving (deduction, resolution, etc.)
Mechanization of proofs and logical operations, unification, free variable version of first-order predicate calculus, epsilon calculus, resolution, Classical first-order logic, Skolem functions, Theorem proving (deduction, resolution, etc.)
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).7 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 10% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!