Deakstadieđáhus: Logical systems for industrial applications /