PENYARINGAN TERURUT IMPLIKATIF POSITIF DARI SEMIGRUP IMPLIKATIF
Abstrak: Semigrup implikatif
merupakan suatu himpunan tertentu dari suatu semigrup dengan operasi terurut
parsial dan dua buah operasi biner berbeda, serta memenuhi sifat-sifat
tertentu. Beberapa jenis semigrup implikatif adalah penyaringan terurut, penyaringan
terurut implikatif, dan penyaringan terurut implikatif positif. Setiap
penyaringan terurut implikatif positif merupakan penyaringan terurut dan
terurut implikatif.
Penulis: RIDHO IKHRAMUL FITRA
Kode Jurnal: jpmatematikadd140063
