Return to Article Details Weak Implication on Monadic Heyting Algebras Download PDF