Matemática weak Heyting algebras Ciencias Exactas compatible functions Adjunction Amalgamation property BCK-algebras Categorical equivalence Centered Kleene algebras Compatible operation Craig’s interpolation theorem Extensions of intuitionistic propositional calculus Finite model property Free algebras Heyting algebra Heyting algebras Heyting algebras with operators Hilbert algebras Ideals Implicative semilattice Intuitionistic logic Involutive distributive lattices Lattices with implication MV-algebras Mathematical Logic Priestley duality Successor operator bounded distributive lattice commutative residuated lattices congruences