We introduce a family of notions of interpolation for sentential logics. These concepts generalize the ones for substructural logics introduced in [5]. We show algebraic characterizations of these notions for the case of equivalential logics and study the relation between them and the usual concepts of Deductive, Robinson, and Maehara interpolation properties.

In this paper subvarieties of pseudocomplemented distributive lattices are classified by their unification type. We determine the unification type of every particular unification problem in each subvariety of pseudocomplemented distributive lattices.

In this paper we shall introduce the variety WQS of weak-quasi-Stone algebras as a generalization of the variety QS of quasi-Stone algebras introduced in [9]. We shall apply the Priestley duality developed in [4] for the variety N of ¬-lattices to give a duality for WQS. We prove that a weak-quasi-Stone algebra is characterized by a property of the set of its regular elements, as well by mean of some principal lattice congruences. We will also determine the simple and subdirectly (...) irreducible algebras. (shrink)

In this paper we shall introduce the variety WQS of weak-quasi-Stone algebras as a generalization of the variety QS of quasi-Stone algebras introduced in [9]. We shall apply the Priestley duality developed in [4] for the variety N of ¬-lattices to give a duality for WQS. We prove that a weak-quasi-Stone algebra is characterized by a property of the set of its regular elements, as well by mean of some principal lattice congruences. We will also determine the simple and subdirectly (...) irreducible algebras. (shrink)