Linear (multi) algebra I: linear systems, matrices and vector spaces over superfields - Roberto, Kaique Matias de Andrade; Ribeiro, Hugo Rafael de Oliveira; Santos, Kaique Ribeiro Prates; Mariano, Hugo Luiz (Brazilian Logic Conference - EBL 2025, 2025)