Switch to: References

Add citations

You must login to add citations.
  1. Proof Invariance.Blane Worley - forthcoming - Australasian Journal of Logic.
    We explore depth substitution invariance, or hyperformalism, and extend known results in this realm to justification logics extending weak relevant logics. We then examine the surprising invariance of justifications over formulas and restrict our attention to the substitution of proofs in the original relevant logic. The results of this paper indicate that depth invariance is a recalcitrant feature of the logic and that proof structures in hyperformal logics are quite inflexible.
    Download  
     
    Export citation  
     
    Bookmark  
  • Variable-Sharing as Relevance.Shawn Standefer - forthcoming - In Igor Sedl├ír, Shawn Standefer & Andrew Tedder (eds.), New Directions in Relevant Logic.
    Download  
     
    Export citation  
     
    Bookmark   1 citation