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

superintuitionistic logic

Logic

A deductive system $L$ that extends intuitionistic logic, including classical logic and the inconsistent (i.e., trivial) consequence relation with respect to which all formulae are theorems. A deductive system $L$ that properly extends intuitionistic logic and that classical logic properly extends—i.e., properly intermediate between the two—is known as an intermediate logic. A well-known example is the Gödel-Dummett logic $LC$ (named for logicians Kurt Gödel (1906–1978) and Michael Dummett (1925–2011)) extending intuitionistic logic by the inclusion of the axiom scheme conditional choice $(φ \to ψ) \lor (ψ \to φ)$ .

单词	superintuitionistic logic
释义	superintuitionistic logic Logic A deductive system $L$ that extends intuitionistic logic, including classical logic and the inconsistent (i.e., trivial) consequence relation with respect to which all formulae are theorems. A deductive system $L$ that properly extends intuitionistic logic and that classical logic properly extends—i.e., properly intermediate between the two—is known as an intermediate logic. A well-known example is the Gödel-Dummett logic $LC$ (named for logicians Kurt Gödel (1906–1978) and Michael Dummett (1925–2011)) extending intuitionistic logic by the inclusion of the axiom scheme conditional choice $(φ \to ψ) \lor (ψ \to φ)$ .
随便看	capillary zone electrophoresis capillatus capital capital account capital accumulation capital adequacy capital allowances capital appreciation Capital Asset Pricing Model capital-augmenting technical progress capital consumption capital cost capital deepening capital expenditure capital flight capital formation capital gain capital gains tax capital gearing capital goods capital inflow capital injections capital intensity capital intensive capitalism