PENENTUAN IDEAL-IDEAL ALJABAR-BCK IMPLIKATIF POSITIF MELALUI PEMETAAN KIRI
Aljabar-BCK adalah aljabar abstrak ( X ; * ; 0 ) dengan X adalah himpunan tak kosong, * operasi biner dan 0 elemen konstanta. Jenis-jenis aljabar-BCK adalah implikatif positif: komutatif dan implikati£. Dalam aljabar-BCK juga mengenal istilah ideal. Jenis-jenis ideal pada aljabar-BCK adalah ideal im...
Saved in:
| Main Author: | |
|---|---|
| Format: | Theses and Dissertations NonPeerReviewed |
| Language: | Indonesian |
| Published: |
1999
|
| Subjects: | |
| Online Access: | http://repository.unair.ac.id/50974/1/50974.pdf http://repository.unair.ac.id/50974/ http://lib.unair.ac.id |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Universitas Airlangga |
| Language: | Indonesian |
| Summary: | Aljabar-BCK adalah aljabar abstrak ( X ; * ; 0 ) dengan X adalah himpunan tak kosong, * operasi biner dan 0 elemen konstanta. Jenis-jenis aljabar-BCK adalah implikatif positif: komutatif dan implikati£. Dalam aljabar-BCK juga mengenal istilah ideal. Jenis-jenis ideal pada aljabar-BCK adalah ideal implikatif positif; ideal implicatif; ideal komutatif; ideal utama dan ideal obstinate. |
|---|