Switch to: References

Add citations

You must login to add citations.
  1. Definability and Interpolation in Non-Classical Logics.Larisa Maksimova - 2006 - Studia Logica 82 (2):271-291.
    Algebraic approach to study of classical and non-classical logical calculi was developed and systematically presented by Helena Rasiowa in [48], [47]. It is very fruitful in investigation of non-classical logics because it makes possible to study large families of logics in an uniform way. In such research one can replace logics with suitable classes of algebras and apply powerful machinery of universal algebra. In this paper we present an overview of results on interpolation and definability in modal and positive logics,and (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Problem of Restricted Interpolation in Superintuitionistic and Some Modal Logics.Larisa Maksimova - 2010 - Logic Journal of the IGPL 18 (3):367-380.
    A restricted interpolation property IPR is investigated in modal and superintuitionistic logics. The problem of description of logics with IPR over the intuitionistic logic Int and the modal Grzegorczyk logic Grz is solved. It is proved that in extensions of Int or Grz IPR is equivalent to the projective Beth property PB2. It follows that IPR is decidable over Int and strongly decidable over Grz.
    Download  
     
    Export citation  
     
    Bookmark   2 citations