Switch to: References

Add citations

You must login to add citations.
  1. Bunder’s paradox.Michael Caie - 2020 - Review of Symbolic Logic 13 (4):829-844.
    Systems ofillative logicare logical calculi formulated in the untypedλ-calculus supplemented with certain logical constants.1In this short paper, I consider a paradox that arises in illative logic. I note two prima facie attractive ways of resolving the paradox. The first is well known to be consistent, and I briefly outline a now standard construction used by Scott and Aczel that establishes this. The second, however, has been thought to be inconsistent. I show that this isn’t so, by providing a nonempty class (...)
    Download  
     
    Export citation  
     
    Bookmark