Deakstadieđáhus: Intermediate logic