Order:
Disambiguations
Henry Africk [4]Henry Louis Africk [2]
  1. Scott's Interpolation Theorem Fails for Lω1,Ω.Henry Africk - 1974 - Journal of Symbolic Logic 39 (1):124 - 126.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  2.  95
    Classical Logic, Intuitionistic Logic, and the Peirce Rule.Henry Africk - 1992 - Notre Dame Journal of Formal Logic 33 (2):229-235.
    A simple method is provided for translating proofs in Grentzen's LK into proofs in Gentzen's LJ with the Peirce rule adjoined. A consequence is a simpler cut elimination operator for LJ + Peirce that is primitive recursive.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  3.  23
    Individual Members 2008.Martın Abadi, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, J. David Abernethy, Bryant Adams, Klaus T. Aehlig, Fritz Aeschbach & Henry Louis Africk - 2008 - Bulletin of Symbolic Logic 14 (4).
  4.  13
    Individual Members 2006.Martın Abadi, Yoshihiro Abe, Francine F. Abeles, Andrew Aberdein, Nathanael Ackerman, Bryant Adams, Klaus T. Aehlig, Fritz Aeschbach, Henry Louis Africk & Bahareh Afshari - 2006 - Bulletin of Symbolic Logic 12 (4):625-681.
  5.  17
    A Proof Theoretic Proof of Scott's General Interpolation Theorem.Henry Africk - 1972 - Journal of Symbolic Logic 37 (4):683-695.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  6.  3
    Scott's Interpolation Theorem Fails for $L{Omega1,Omega}$.Henry Africk - 1974 - Journal of Symbolic Logic 39 (1):124-126.