Article Per Year (5 Year)
p-Index From 2021 - 2026
0.23
P-Index
This Author published in this journals
All Journal MATHunesa: Jurnal Ilmiah Matematika
Danang Andi Prasetyo
Universitas Negeri Surabaya
Mathematics

Published : 1 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search

 1 
BCK/BCI-ALJABAR INTERIOR Danang Andi Prasetyo; Agung Lukito
MATHunesa: Jurnal Ilmiah Matematika Vol. 14 No. 02 (2026)
Publisher : Universitas Negeri Surabaya

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.26740/mathunesa.v14n02.p32-40

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.
Co-Authors Agung Lukito