Truth-Functionality and the Ramified Theory of Types

This publication has 5 references indexed in Scilit:

• A Simplified Strong Completeness Proof for Q C =
  Published by Philosophy Documentation Center ,1969
• A simplified account of validity and implication for quantificational logic
  The Journal of Symbolic Logic, 1968
• Syntactical and semantical properties of simple type theory
  The Journal of Symbolic Logic, 1960
• Banishing the rule of substitution for functional variables
  The Journal of Symbolic Logic, 1953
• The completeness of the first-order functional calculus
  The Journal of Symbolic Logic, 1949