Switch to: References

Add citations

You must login to add citations.
  1. On the notion of effectiveness.Stewart Shapiro - 1980 - History and Philosophy of Logic 1 (1-2):209-230.
    This paper focuses on two notions of effectiveness which are not treated in detail elsewhere. Unlike the standard computability notion, which is a property of functions themselves, both notions of effectiveness are properties of interpreted linguistic presentations of functions. It is shown that effectiveness is epistemically at least as basic as computability in the sense that decisions about computability normally involve judgments concerning effectiveness. There are many occurrences of the present notions in the writings of logicians; moreover, consideration of these (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Notes on the theory of variable binding term operators.Newton C. A. da Costa & Chris Mortensen - 1983 - History and Philosophy of Logic 4 (1-2):63-72.
    The general theory of variable binding term operators is an interesting recent development in logic. It opens up a rich class of semantic and model-theoretic problems. In this paper we survey the recent literature on the topic, and offer some remarks on its significances and on its connections with other branches of mathematical logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985.Walter Carnielli - 1986 - Journal of Symbolic Logic 51 (4):1093 - 1103.
    This is the ASL report on the 7th Latin American Symposium on Mathematical Logic held in Campinas, SP, Brazil, from July 29- August 02, 1985.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark