mixed imperative inference logic of imperatives imperative conclusion https://en.wikipedia.org/wiki/Imperative_logic imperative conclusion logic of imperatives https://en.wikipedia.org/wiki/Imperative_logic imperative imperative logic Imperative Logic