Switch to: Citations

Add references

You must login to add references.
  1. An Axiomatic Approach to Self-Referential Truth.Harvey Friedman & Michael Sheard - 1987 - Annals of Pure and Applied Logic 33 (1):1--21.
  • Paradox, truth and logic part I: Paradox and truth.Peter W. Woodruff - 1984 - Journal of Philosophical Logic 13 (2):213 - 232.
  • Four valued semantics and the liar.Albert Visser - 1984 - Journal of Philosophical Logic 13 (2):181 - 212.
  • Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
    Direct download  
     
    Export citation  
     
    Bookmark   594 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.
  • Languages with self-reference I: Foundations.Donald Perlis - 1985 - Artificial Intelligence 25 (3):301-322.
  • 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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   862 citations  
  • Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen.Gerhard Jäger - 1980 - Archive for Mathematical Logic 22 (3-4):121-139.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Mathematical Logic Quarterly 35 (2):97-130.