Switch to: Citations

Add references

You must login to add references.
  1. The theory of functions.L. Gordeev - 1988 - Annals of Pure and Applied Logic 38 (1):26.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (1 other version)Constructive definition of certain analytic sets of numbers.P. Lorenzen & J. Myhill - 1959 - Journal of Symbolic Logic 24 (1):37-49.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
    A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.
    Download  
     
    Export citation  
     
    Bookmark   892 citations  
  • The liar paradox.Charles Parsons - 1974 - Journal of Philosophical Logic 3 (4):381 - 412.
    Download  
     
    Export citation  
     
    Bookmark   120 citations  
  • The strength of admissibility without foundation.Gerhard Jäger - 1984 - Journal of Symbolic Logic 49 (3):867-879.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Toward useful type-free theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.
    Download  
     
    Export citation  
     
    Bookmark   115 citations  
  • Some remarks on extending and interpreting theories with a partial predicate for truth.William N. Reinhardt - 1986 - Journal of Philosophical Logic 15 (2):219 - 251.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • Semantical paradox.Tyler Burge - 1979 - Journal of Philosophy 76 (4):169-198.
    Download  
     
    Export citation  
     
    Bookmark   138 citations  
  • (1 other version)Constructive Definition of Certain Analytic Sets of Numbers.P. Lorenzen & J. Myhill - 1968 - Journal of Symbolic Logic 33 (2):295-295.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Zeitshrift für Mathematische Logik Und Grundlagen der Mathematik 35 (1):97--130.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.
    Download  
     
    Export citation  
     
    Bookmark   149 citations  
  • Constructibility.Keith J. Devlin - 1987 - Journal of Symbolic Logic 52 (3):864-867.
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  • Paradoxes of infinity and self-applications, I.Haim Gaifman - 1983 - Erkenntnis 20 (2):131 - 155.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • (1 other version)Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Mathematical Logic Quarterly 35 (2):97-130.
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • A logic of abstraction related to finite constructive number classes.Andrea Cantini - 1991 - Archive for Mathematical Logic 31 (1):69-83.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Gentzen-style theory of functions.L. Gordeev - 1988 - Annals of Pure and Applied Logic 38 (1):42.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The theory of functions and classes. Part I.L. Gordeev - 1988 - Annals of Pure and Applied Logic 38 (1):66.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The theory of functions and classes. Part II.L. Gordeev - 1988 - Annals of Pure and Applied Logic 38 (1):78.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Proof-theoretical analysis: weak systems of functions and classes.L. Gordeev - 1988 - Annals of Pure and Applied Logic 38 (1):1-121.
    Download  
     
    Export citation  
     
    Bookmark   13 citations