The effective arrangement of logical systems