Switch to: References

Add citations

You must login to add citations.
  1. Craig Interpolation in the Presence of Unreliable Connectives.João Rasga, Cristina Sernadas & Amlcar Sernadas - 2014 - Logica Universalis 8 (3-4):423-446.
    Arrow and turnstile interpolations are investigated in UCL [introduced by Sernadas et al. ], a logic that is a complete extension of classical propositional logic for reasoning about connectives that only behave as expected with a given probability. Arrow interpolation is shown to hold in general and turnstile interpolation is established under some provisos.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Uniform interpolation in substructural logics.Majid Alizadeh, Farzaneh Derakhshan & Hiroakira Ono - 2014 - Review of Symbolic Logic 7 (3):455-483.