Anita, T. L.; Freedy, R. G.; Silawati, N.; Sunengsih, M. Mathematical Logic As a Foundation for AI-Driven Decision-Making Systems. SHEM 2026, 2 (1), 14-25. https://doi.org/10.68012/shem.v2i1.50.