Switch to: References

Add citations

You must login to add citations.
  1. Fixed-Point Models for Theories of Properties and Classes.Greg Restall - 2017 - Australasian Journal of Logic 14 (1).
    There is a vibrant community among philosophical logicians seeking to resolve the paradoxes of classes, properties and truth by way of adopting some non-classical logic in which trivialising paradoxical arguments are not valid. There is also a long tradition in theoretical computer science|going back to Dana Scott's fixed point model construction for the untyped lambda-calculus of models allowing for fixed points. In this paper, I will bring these traditions closer together, to show how these model constructions can shed light on (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Strong Normalization via Natural Ordinal.Daniel Durante Pereira Alves - 1999 - Dissertation,
    The main objective of this PhD Thesis is to present a method of obtaining strong normalization via natural ordinal, which is applicable to natural deduction systems and typed lambda calculus. The method includes (a) the definition of a numerical assignment that associates each derivation (or lambda term) to a natural number and (b) the proof that this assignment decreases with reductions of maximal formulas (or redex). Besides, because the numerical assignment used coincide with the length of a specific sequence of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
    		•
  • Proof Terms for Classical Derivations.Restall Greg - manuscript
    I give an account of proof terms for derivations in a sequent calculus for classical propositional logic. The term for a derivation δ of a sequent Σ≻Δ encodes how the premises Σ and conclusions Δ are related in δ. This encoding is many–to–one in the sense that different derivations can have the same proof term, since different derivations may be different ways of representing the same underlying connection between premises and conclusions. However, not all proof terms for a sequent Σ≻Δ (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • „Kauza Afthonios“: Ilustrácia k otázke správneho riešenia antických paradoxov.Vladimir Marko - 2014 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 1 (20):88-103.
    The article deals with the question of correct reconstruction of and solutions to the ancient paradoxes. Analyzing one contemporary example of a reconstruction of the so-called Crocodile Paradox, taken from Sorensen’s A Brief History of Paradox, the author shows how the original pattern of paradox could have been incorrectly transformed in its meaning by overlooking its adequate historical background. Sorensen’s quoting of Aphthonius, as the author of a certain solution to the paradox, seems to be a systematic failure since the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation