Switch to: Citations

Add references

You must login to add references.
  1. Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.
    Download  
     
    Export citation  
     
    Bookmark   343 citations  
  • (1 other version)Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
    Download  
     
    Export citation  
     
    Bookmark   204 citations  
  • Logic, Semantics, Metamathematics.Atwell Turquette - 1958 - Philosophical Review 67 (1):113.
    Download  
     
    Export citation  
     
    Bookmark   118 citations  
  • Introduction to Logic.Roland Hall - 1960 - Philosophical Quarterly 10 (40):287-288.
    Download  
     
    Export citation  
     
    Bookmark   89 citations  
  • Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
    Download  
     
    Export citation  
     
    Bookmark   603 citations  
  • (1 other version)Set Theory and the Continuum Hypothesis.Kenneth Kunen - 1966 - Journal of Symbolic Logic 35 (4):591-592.
    Download  
     
    Export citation  
     
    Bookmark   75 citations  
  • (1 other version)Finite partially-ordered quantification.Wilbur John Walkoe Jr - 1970 - Journal of Symbolic Logic 35 (4):535-555.
    Download  
     
    Export citation  
     
    Bookmark   70 citations  
  • (1 other version)Quantifiers vs. Quantificational Theory.Jaakko Hintikka - 1974 - Linguistic Inquiry 5:153--77.
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • (2 other versions)Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):461-461.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • (2 other versions)Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Mathematical Logic Quarterly 24 (25‐30):461-461.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Per Martin-Löf. Intuitionistic type theory. Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp. [REVIEW]W. A. Howard - 1986 - Journal of Symbolic Logic 51 (4):1075-1076.
    Download  
     
    Export citation  
     
    Bookmark   96 citations  
  • IF first-order logic and truth-definitions.Gabriel Sandu - 1997 - Journal of Philosophical Logic 26.
    This paper shows that the logic known as Information-friendly logic (IF-logic) introduced by Jaakko Hintikka and Gabriel Sandu defines its own truth-predicate. The result is interesting given that IF logic is a much stronger logic than ordinary first-order logic and has also a well behaved notion of negation which, on its first-order subfragment, behaves like classical, contradictory negation.
    Download  
     
    Export citation  
     
    Bookmark   2 citations