Completeness theorem for logical categories

This publication has 13 references indexed in Scilit:

• Lawvere's elementary theories and polyadic and cylindric algebras
  Fundamenta Mathematicae, 1970
• Calculus of Fractions and Homotopy Theory
  Published by Springer Nature ,1967
• Freedom in polyadic algebras and two theorems of Beth and Craig.
  The Michigan Mathematical Journal, 1964
• A theory of prepositional types
  Fundamenta Mathematicae, 1963
• Grundzüge der Mathematischen Logik
  Published by Springer Nature ,1961
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
  The Journal of Symbolic Logic, 1957
• A Result on Consistency and its Application to theTheory of Definition
  Indagationes Mathematicae, 1956
• On Padoa’s Method in the Theory of Definition
  Indagationes Mathematicae, 1953
• Completeness in the theory of types
  The Journal of Symbolic Logic, 1950
• The completeness of the first-order functional calculus
  The Journal of Symbolic Logic, 1949