SUATU KAJIAN TENTANG PENYARINGAN TERURUT DARI SEMIGRUP IMPL IKATIF

Authors

  • Septi Marlena

DOI:

https://doi.org/10.25077/jmu.3.1.1-8.2014

Abstract

Suatu semigrup implikatif S merupakan suatu himpunan terurut parsial yang
bersifat semigrup, semigrup terurut parsial secara negatif (NPO semigrup) dan NPO
semigrup komutatif. Definisikan himpunan Sn(x, y) = {z ∈ S|x n ∗ (y ∗ z) = 1} untuk setiap x, y ∈ S dan n ∈ N. Suatu penyaringan terurut merupakan suatu himpunan bagian
tak kosong dari S yang memenuhi sifat-sifat tertentu. Pada tesis ini dikaji penyaringan
terurut dari semigrup implikatif, dan hubungannya dengan Sn(x, y) serta diberikan contoh dari semigrup implikatif yang selanjutnya ditentukan penyaringan terurutnya.

Downloads

Published

01-03-2014

Issue

Section

Articles