Penyaringan terurut implikatif positif dari semigrup implikatif - Ridho ikhramul fitra (Universitas Andalas, 2014)