BCK/BCI-ALJABAR INTERIOR

Abstract

BCK/BCI-aljabar adalah struktur aljabar logis yang berperan penting dalam pengembangan teori logika matematika. Struktur ini terdiri atas himpunan tak-kosong yang dilengkapi dengan operasi biner dan memenuhi aksioma-aksioma tertentu. BCI-aljabar memiliki empat aksioma dasar, sedangkan BCK-aljabar merupakan perluasan dari BCI-aljabar dengan tambahan satu aksioma. Dalam kajian lebih lanjut, konsep BCK/BCI-aljabar interior diketahui sebagai pasangan (X,l) dengan X merupakan BCK/BCI-aljabar dan l adalah pemetaan pada X. Kajian ini mencakup definisi formal melalui contoh konkret tabel Cayley, serta pembuktian sifat-sifat dasar yang mendukung karakterisitik struktur aljabar tersebut. Artikel ini bertujuan untuk mendeskripsikan secara sistematis struktur BCK/BCI-aljabar interior beserta sifat-sifat yang menyertainya melalui penyusunan definisi, teorema, dan proposisi yang relevan.
Kata Kunci: BCK/BCI-aljabar, Aljabar logis, Struktur aljabar abstrak, Interior BCK/BCI-aljabar.