A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo - a Journal of Mathematics - Document - PDFSEARCH.IO

First Page	Meta Content
	A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo Add to Reading List Document Date: 2014-06-27 17:40:55 Open Document File Size: 321,49 KB Share Result on Facebook IndustryTerm weak implicational systems / formal systems / refutation systems / axiom systems / / OperatingSystem L3 / / Technology following algorithm / / SocialTag Propositional calculus Predicate logic Automated theorem proving Model theory First-order logic Metamath Function Substitution Axiom Logic

A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal LoAdd to Reading List