Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols

Article

Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols

S. C. Kleene,William Craig,Robert L. Vaught-1971-01-01

54

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Predicate (mathematical logic)Predicate variableCalculus (dental)Computer scienceMathematicsAlgebra over a fieldPure mathematicsTheoretical computer science

Chat

Click to start Chat