Switch to: Citations

References in:

Bunder’s paradox

Review of Symbolic Logic 13 (4):829-844 (2020)

Add references

You must login to add references.
  1. Scott's models and illative combinatory logic.M. W. Bunder - 1979 - Notre Dame Journal of Formal Logic 20 (3):609-612.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • A paradox in illative combinatory logic.M. W. Bunder - 1970 - Notre Dame Journal of Formal Logic 11 (4):467-470.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   862 citations  
  • Introduction to Combinators and λ-Calculus.J. Roger Hindley & Jonathan P. Seldin - 1988 - Journal of Symbolic Logic 53 (3):985-986.
    Direct download  
     
    Export citation  
     
    Bookmark   34 citations  
  • A fixed point theorem for the weak Kleene valuation scheme.Anil Gupta & Robert L. Martin - 1984 - Journal of Philosophical Logic 13 (2):131 - 135.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • The consistency of system Q.Frederic B. Fitch - 1981 - Journal of Symbolic Logic 46 (1):67-76.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Higher-order illative combinatory logic.Łukasz Czajka - 2013 - Journal of Symbolic Logic 78 (3):837-872.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The inconsistency of certain formal logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (3):115-117.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   54 citations  
  • The combinatory foundations of mathematical logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (2):49-64.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • The inconsistency of f*21.M. W. Bunder - 1976 - Journal of Symbolic Logic 41 (2):467 - 468.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • On the inconsistency of systems similar to.M. W. Bunder & R. K. Meyer - 1978 - Journal of Symbolic Logic 43 (1):1-2.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Inconsistency of $mathscr{F}^ast_{21}$.M. W. Bunder - 1976 - Journal of Symbolic Logic 41 (2):467-468.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation