1. Variable Binding Term Operators.John Corcoran, William Hatcher & John Herring - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):177-182.
    Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of (...)
    Direct download (4 more)  
    Export citation  
    Bookmark   6 citations  
  2. Notes on a Semantic Analysis of Variable Binding Term Operators.J. Corcoran & John Herring - 1971 - Logique Et Analyse 55:644-657.
    -/- A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. -/- Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. We give a correct (...)
    Direct download  
    Export citation  
    Bookmark   2 citations  
  3.  34
    Heinz-Dieter Ebbinghaus. Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen. Archie für mathematische Logik und Grundlagenforschung, vol. 12 , pp. 39–53. [REVIEW]John Corcoran & John Herring - 1972 - Journal of Symbolic Logic 37 (3):617-618.
    Direct download (5 more)  
    Export citation  
    Bookmark   1 citation  
  4.  4
    Wang Hao. The Calculus of Partial Predicates and its Extension to Set Theory I. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 7 , Pp. 283–288. [REVIEW]John Corcoran & John Herring - 1972 - Journal of Symbolic Logic 37 (3):617-617.