Switch to: References

Add citations

You must login to add citations.
  1. Fred Sommers’ Contributions to Formal Logic.George Englebretsen - 2016 - History and Philosophy of Logic 37 (3):269-291.
    Fred Sommers passed away in October of 2014 in his 92nd year. Having begun his teaching at Columbia University, he eventually became the Harry A. Wolfson Chair in Philosophy at Brandeis University, where he taught from 1963 to 1993. During his long and productive career, Sommers authored or co-authored over 50 books, articles, reviews, etc., presenting his ideas on numerous occasions throughout North America and Europe. His work was characterized by a commitment to the preservation and application of historical insights (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Interpolation in Term Functor Logic.J. -Martín Castro-Manzano - forthcoming - Critica:53-69.
    Given some links between Lyndon’s Interpolation Theorem, term distribution, and Sommers and Englebretsen’s logic, in this contribution we attempt to capture a sense of interpolation for Sommers and Englebretsen’s Term Functor Logic. In order to reach this goal we first expound the basics of Term Functor Logic, together with a sense of term distribution, and then we offer a proof of our main contribution.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark