A Free Variable Version of the First-Order Predicate Calculus

DOI10.1093/logcom/1.4.431zbMath0754.03004OpenAlexW2081602857MaRDI QIDQ3985544

Ronald Fechter, Martin Davis

Publication date: 27 June 1992

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/1.4.431

zbMATH Keywords

unificationresolutionSkolem functionsepsilon calculusfree variable version of first-order predicate calculus

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Related Items (3)

A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux ⋮ Banishing Ultrafilters from Our Consciousness ⋮ A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets

This page was built for publication: A Free Variable Version of the First-Order Predicate Calculus