Page 1 Next

Displaying 1 – 20 of 83

Showing per page

Interrelation of algebraic, semantical and logical properties for superintuitionistic and modal logics

Larisa Maksimova (1999)

Banach Center Publications

We consider the families 𝓛 of propositional superintuitionistic logics (s.i.l.) and NE(K) of normal modal logics (n.m.l.). It is well known that there is a duality between 𝓛 and the lattice of varieties of pseudo-boolean algebras (or Heyting algebras), and also NE(K) is dually isomorphic to the lattice of varieties of modal algebras. Many important properties of logics, for instance, Craig's interpolation property (CIP), the disjunction property (DP), the Beth property (BP), Hallden-completeness...

Currently displaying 1 – 20 of 83

Page 1 Next