Switch to: Citations

Add references

You must login to add references.
  1. On matrix representations of consequence operations of Łlukasiewicz's sentential calculi.Ryszard Wójcicki - 1973 - Mathematical Logic Quarterly 19 (14‐18):239-247.
  • Twierdzenie O dedukcji dla wielowartościowych rachunków zdań łukasiewicza.Witold A. Pogorzelski - 1964 - Studia Logica 15 (1):20-21.
  • Przegląd twierdzeń o dedukcji dla rachunków zdań.Witold A. Pogorzelski - 1964 - Studia Logica 15 (1):163-178.
  • 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Axiomatization of the infinite-valued predicate calculus.Louise Schmir Hay - 1963 - Journal of Symbolic Logic 28 (1):77-86.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Axiomatization of the Infinite-Valued Predicate Calculus.Louise Schmir Hay - 1964 - Journal of Symbolic Logic 29 (2):110-111.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations