9 found
Sort by:
  1. Michael Sheard (2001). Weak and Strong Theories of Truth. Studia Logica 68 (1):89-101.
    A subtheory of the theory of self-referential truth known as FS is shown to be weak as a theory of truth but equivalent to full FS in its proof-theoretic strength.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. Harvey Friedman & Michael Sheard (1995). Elementary Descent Recursion and Proof Theory. Annals of Pure and Applied Logic 71 (1):1-45.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Michael Sheard (1995). Review: Anil Gupta, Nuel Belnap, The Revision Theory of Truth. [REVIEW] Journal of Symbolic Logic 60 (4):1314-1316.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Michael Sheard (1994). A Guide to Truth Predicates in the Modern Era. Journal of Symbolic Logic 59 (3):1032-1054.
  5. Harvey Friedman & Michael Sheard (1989). The Equivalence of the Disjunction and Existence Properties for Modal Arithmetic. Journal of Symbolic Logic 54 (4):1456-1459.
    In a modal system of arithmetic, a theory S has the modal disjunction property if whenever $S \vdash \square\varphi \vee \square\psi$ , either $S \vdash \square\varphi$ or $S \vdash \square\psi. S$ has the modal numerical existence property if whenever $S \vdash \exists x\square\varphi(x)$ , there is some natural number n such that $S \vdash \square\varphi(\mathbf{n})$ . Under certain broadly applicable assumptions, these two properties are equivalent.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Harvey Friedman & Michael Sheard (1988). The Disjunction and Existence Properties for Axiomatic Systems of Truth. Annals of Pure and Applied Logic 40 (1):1--10.
  7. Harvey Friedman & Michael Sheard (1987). An Axiomatic Approach to Self-Referential Truth. Annals of Pure and Applied Logic 33 (1):1--21.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Michael Sheard (1985). Co-Critical Points of Elementary Embeddings. Journal of Symbolic Logic 50 (1):220-226.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  9. Michael Sheard (1983). Indecomposable Ultrafilters Over Small Large Cardinals. Journal of Symbolic Logic 48 (4):1000-1007.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation