View of Implicative algebras and Heyting algebras can be residuated lattices

Return to Article Details Implicative algebras and Heyting algebras can be residuated lattices Download Download PDF