Advances in Applied Logics : Applications of Logic for Philosophy, Mathematics and Information Technology - Abe, Jair Minoro. (Springer International Publishing AG, 2023)