Switch to: Citations

Add references

You must login to add references.
  1. A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
    Download  
     
    Export citation  
     
    Bookmark   110 citations  
  • Protoalgebraic Logics.Janusz Czelakowski - 2001 - Kluwer Academic Publishers.
    This book is both suitable for logically and algebraically minded graduate and advanced graduate students of mathematics, computer science and philosophy, and ...
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • Protoalgebraic Logics.Janusz Czelakowski - 2003 - Studia Logica 74 (1):313-342.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Foreword. [REVIEW]J. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):3-12.
    Download  
     
    Export citation  
     
    Bookmark   100 citations  
  • 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   12 citations