imperative logic

[2023-12-10]. （原始内容存档于2003-10-08）.  Hynek Mlnařík. LanQ – a quantum imperative programming language. [2023-12-10]. （原始内容存档于2016-05-20）.  Liu, Shusen;

a transcendent empiricist.  Kurt Baier, "Difficulties in the Emotive-Imperative Theory" in Paul W Taylor (editor): The Moral Judgement: Readings in Contemporary

（原始内容存档于2021-05-02）.  Haskell 98 report, http://www.haskell.org （页面存档备份，存于互联网档案馆）. Imperative Functional Programming, Simon Peyton Jones and Phil Wadler, Conference

（原始内容存档于2020-08-20） （英语）.  Nyle C.Brady. Alternatives to slash-and-burn: a global imperative. Agriculture, Ecosystems & Environment. 1996, 58 (1): 3–11.  Dale Bandy

proof）、有效性形式、演绎推理、命题逻辑、模态逻辑、时间逻辑、认识逻辑、指代逻辑（英语：Supposition theory）、命令逻辑（英语：imperative logic）、歧義、和逻辑悖论。 你对呈现于你的事物为自己下一定义或做一描述，以便清楚地从其实体，从其袒露，从其完整性来看看它是何种性质的事物，