“conditional choice”的概念、定义、翻译、参考文献-科学参考

conditional choice

Logic

Where $\to$ is a conditional connective and $\lor$ is a disjunction connective, the axiom scheme
- • $(φ \to ψ) \lor (ψ \to φ)$ .
Conditional choice frequently features in the study of intuitionistic logic and its extensions. The addition of the axiom to intuitionistic logic yields the Gödel-Dummett logic $LC$ (named for logicians Kurt Gödel (1906–1978) and Michael Dummett (1925–2011)); semantically, the axiom corresponds to Kripke models for intuitionistic logic in which the accessibility relation is linear, i.e., for all possible worlds $w$ and $w^{'}$ , either $w R w^{'}$ holds or $w^{'} R w$ holds. Hence the axiom is also known as prelinearity or Dummett’s axiom.

单词	conditional choice
释义	conditional choice Logic Where $\to$ is a conditional connective and $\lor$ is a disjunction connective, the axiom scheme • $(φ \to ψ) \lor (ψ \to φ)$ . Conditional choice frequently features in the study of intuitionistic logic and its extensions. The addition of the axiom to intuitionistic logic yields the Gödel-Dummett logic $LC$ (named for logicians Kurt Gödel (1906–1978) and Michael Dummett (1925–2011)); semantically, the axiom corresponds to Kripke models for intuitionistic logic in which the accessibility relation is linear, i.e., for all possible worlds $w$ and $w^{'}$ , either $w R w^{'}$ holds or $w^{'} R w$ holds. Hence the axiom is also known as prelinearity or Dummett’s axiom.
随便看	dotted quad notation double-acting double amplitude double aspect theory double beta decay double-blind trial double block and bleed double bond double bootstrap double buffering double circulation double click Double Cluster double coincidence of wants double complement double conversion receiver double core barrel double counting double couple double-current system double decomposition double-density recording double diffusion double-dip recession double displacement