Ifcolog Journal of Logics and their Applications. Volume 4, number 5