Matemática Ciencias Exactas Adjunction Categorical equivalence Ideals Kalman functor MV-algebras Mathematical Logic Monadic MV algebras Monadic ℓ-groups Residuated Lattices category of distributive lattices completeness theorems conservative extensions cálculo proposicional intuicionista double dual functor involution lógica non-classical propositional logics residuated lattices álgebra