Deakstadieđáhus: The concept of logical consequence