ANITA, T. L. et al. Mathematical Logic as a Foundation for AI-Driven Decision-Making Systems. Smart Human-centered Emerging Research in Machine Intelligence, v. 2, n. 1, p. 14–25, 24 Apr.2026.