Algebraic characterizations of variable separation properties
Hitoshi Kihara, Hiroakira Ono · Institutional Repositories DataBase (IRDB) · 2008
This paper gives algebraic characterizations of Hallden completeness (HC), and of Maksimova's variable separation property (MVP) and its deductive form. Though algebraic characterizations of these properties have been already studied for modal and superintuitionistic logics, e.g. in Wroński [12], Maksimova [7], [9], a deeper analysis of these properties and non-trivial modifications of these results are needed to extend them to those for substructural logics, because of the lack of some structural rules in them. The first attempt in this direction was made in the dissertation [4] of the first author. Results of this paper are partly announced (sometimes in their weaker form) also in Chapter 5 of the book [2].