Works by Henry Africk

( view other items matching `Henry Africk`, view all matches )
6 found
Order:
Disambiguations
Henry Africk [4]Henry Louis Africk [2]
  1.  211
    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   1 citation  
  2.  49
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  55
    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).
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  34
    A proof theoretic proof of Scott's general interpolation theorem.Henry Africk - 1972 - Journal of Symbolic Logic 37 (4):683-695.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  5.  10
    Scott's Interpolation Theorem Fails for $L{omega1,omega}$.Henry Africk - 1974 - Journal of Symbolic Logic 39 (1):124-126.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  115
    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 (6 more)  
     
    Export citation  
     
    Bookmark   1 citation