“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.
随便看	failed arm failed rift failed state failover fail-safe fail-soft failure failure mode failure modes failure rate failure recovery failure strength failure stress envelope failure transparency fair Fairbank, William fair gamble fairing fairness fair odds fair rate of return fair surface design fair trade fairweather wave-base Faisal I (1885–1933)