Switch to: Citations

Add references

You must login to add references.
  1. Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation.Franco Montagna - 2006 - Annals of Pure and Applied Logic 141 (1):148-179.
    In this paper we give a rather detailed algebraic investigation of interpolation and Beth’s property in propositional many-valued logics extending Hájek’s Basic Logic [P. Hájek, Metamathematics of Fuzzy Logic, Kluwer, 1998], and we connect such properties with amalgamation and strong amalgamation in the corresponding varieties of algebras. It turns out that, while the most interesting extensions of in the language of have deductive interpolation, very few of them have Beth’s property or Craig interpolation. Thus in the last part of the (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • On matrix representations of consequence operations of Łlukasiewicz's sentential calculi.Ryszard Wójcicki - 1973 - Mathematical Logic Quarterly 19 (14‐18):239-247.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • (1 other version)Axiomatization of the infinite-valued predicate calculus.Louise Schmir Hay - 1963 - Journal of Symbolic Logic 28 (1):77-86.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Przegląd twierdzeń o dedukcji dla rachunków zdań.Witold A. Pogorzelski - 1964 - Studia Logica 15 (1):163-178.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Twierdzenie O dedukcji dla wielowartościowych rachunków zdań łukasiewicza.Witold A. Pogorzelski - 1964 - Studia Logica 15 (1):20-21.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (1 other version)Axiomatization of the Infinite-Valued Predicate Calculus.Louise Schmir Hay - 1964 - Journal of Symbolic Logic 29 (2):110-111.
    Download  
     
    Export citation  
     
    Bookmark   4 citations