Switch to: References

Add citations

You must login to add citations.
  1. Strongly decidable properties of modal and intuitionistic calculi.L. Maksimova - 2000 - Logic Journal of the IGPL 8 (6):797-819.
    Let a logical propositional calculus L0 be given. We consider arbitrary extensions of L0 by adding finitely many new axiom schemes and rules of inference. We say that a property of P of logical calculi is strongly decidable over L0 if there is an algorithm which for any finite system Rul of axiom schemes and rules of inference decides whether the system L0 + Rul has the property P or not. We consider only so-called structural rules of inference which are (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • 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   8 citations