Order:
  1.  19
    On Maximal Intermediate Logics with the Disjunction Property.Larisa L. Maksimova - 1986 - Studia Logica 45 (1):69 - 75.
    For intermediate logics, there is obtained in the paper an algebraic equivalent of the disjunction propertyDP. It is proved that the logic of finite binary trees is not maximal among intermediate logics withDP. Introduced is a logicND, which has the only maximal extension withDP, namely, the logicML of finite problems.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  2.  32
    Interpolation Properties of Superintuitionistic Logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
    A family of prepositional logics is considered to be intermediate between the intuitionistic and classical ones. The generalized interpolation property is defined and proved is the following.Theorem on interpolation. For every intermediate logic L the following statements are equivalent:(i) Craig's interpolation theorem holds in L, (ii) L possesses the generalized interpolation property, (iii) Robinson's consistency statement is true in L.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  3.  15
    Definability Theorems in Normal Extensions of the Probability Logic.Larisa L. Maksimova - 1989 - Studia Logica 48 (4):495-507.
    Three variants of Beth's definability theorem are considered. Let L be any normal extension of the provability logic G. It is proved that the first variant B1 holds in L iff L possesses Craig's interpolation property. If L is consistent, then the statement B2 holds in L iff L = G + {0}. Finally, the variant B3 holds in any normal extension of G.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation