Ifcolog Journal of Logics and Their Applications Volume 3, Number 4