Switch to: References

Add citations

You must login to add citations.
  1. Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.
    Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Second‐Order Intensional Logic.M. J. Cresswell - 1972 - Mathematical Logic Quarterly 18 (19-20):297-320.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Abstraction in Fitch's Basic Logic.Eric Thomas Updike - 2012 - History and Philosophy of Logic 33 (3):215-243.
    Fitch's basic logic is an untyped illative combinatory logic with unrestricted principles of abstraction effecting a type collapse between properties (or concepts) and individual elements of an abstract syntax. Fitch does not work axiomatically and the abstraction operation is not a primitive feature of the inductive clauses defining the logic. Fitch's proof that basic logic has unlimited abstraction is not clear and his proof contains a number of errors that have so far gone undetected. This paper corrects these errors and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Book reviews. [REVIEW]Y. Bar-Hillel, Robert L. Causey, Abraham Robinson, Yaacov Choueka & Baruch A. Brody - 1974 - Philosophia 4 (1):203-221.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Domino f‐Sets.David W. Straight - 1979 - Mathematical Logic Quarterly 25 (13‐18):235-249.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Dominof-Sets.David W. Straight - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13-18):235-249.
    Download  
     
    Export citation  
     
    Bookmark  
  • A Generalization of Ackermann's Function.Rod McBeth - 1980 - Mathematical Logic Quarterly 26 (32-33):509-516.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)The Logic of Calculation.John T. Kearns - 1976 - Mathematical Logic Quarterly 23 (1‐6):45-58.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)The Logic of Calculation.John T. Kearns - 1977 - Mathematical Logic Quarterly 23 (1-6):45-58.
    Download  
     
    Export citation  
     
    Bookmark  
  • A New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems.Egon Börger - 1979 - Mathematical Logic Quarterly 25 (7-12):135-162.
    Download  
     
    Export citation  
     
    Bookmark   1 citation