2016/45/3/4

Characterization of Birkhoff’s Conditions by Means of Cover-Preserving and Partially Cover-Preserving Sublattices

Decomposition of Congruence Modular Algebras into Atomic, Atomless Locally Uniform and Anti-Uniform Parts

Interpolation in Normal Extensions of the Brouwer Logic

Irredundant Decomposition of Algebras into One-Dimensional Factors

Monadic Fragments of Intuitionistic Control Logic

On Direct Limit Closed Classes of Algebras

Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras

Some Algebraic and Algorithmic Problems in Acoustocerebrography