Switch to: Citations

Add references

You must login to add references.
  1. Elements of Mathematical Logic.C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112-112.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  • An extension of the Craig-Lyndon interpolation theorem.Leon Henkin - 1963 - Journal of Symbolic Logic 28 (3):201-216.
  • Interpolation in fragments of intuitionistic propositional logic.Gerard R. Renardel de Lavalette - 1989 - Journal of Symbolic Logic 54 (4):1419-1430.
    We show in this paper that all fragments of intuitionistic propostional logic based on a subset of the connectives $\wedge, \vee, \rightarrow, \neg$ satisfy interpolation. Fragments containing $\leftrightarrow$ or $\neg\neg$ are briefly considered.
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
     
    Export citation  
     
    Bookmark   164 citations