Semantical completeness theorems in logic and algebra
Vladimir Lifschitz · Proceedings of the American Mathematical Society · 1980
A few well-known algebraic theorems, including the Nullstellensatz and a form of the duality theorem of Farkas-Minkowsky, are shown to be corollaries to the completeness of the hyper-resolution method in proof theory.