Geodesic

Volume 45 (2016) no. 3-4

Sommaire

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