Logic Machisa presentations