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

regular

Statistics

See matrix.

Logic

1. In the context of modal logic, the property holding of any modal logic $L$ with modal operators $□$ (necessity) and $♢$ (possibility) for which every instance of the scheme $♢ φ \leftrightarrow \neg □ \neg φ$ is an $L$ -theorem and the inference
$\frac{(φ \land ψ) \to ξ}{(□ φ \land □ ψ) \to □ ξ}$
is an admissible inference rule.
2. In the context of conditional logics, describes any conditional logic $L$ for which the inference
$\frac{(ξ \land ζ) \to ψ}{((φ □ \to ξ) \land (φ □ \to ζ)) \to (φ □ \to ψ)}$
is admissible, where the connectives $□ \to$ and $\to$ correspond to the intensional and material conditionals and $\land$ is a conjunction.

单词	regular
释义	regular Statistics See matrix. Logic 1. In the context of modal logic, the property holding of any modal logic $L$ with modal operators $□$ (necessity) and $♢$ (possibility) for which every instance of the scheme $♢ φ \leftrightarrow \neg □ \neg φ$ is an $L$ -theorem and the inference $\frac{(φ \land ψ) \to ξ}{(□ φ \land □ ψ) \to □ ξ}$ is an admissible inference rule. 2. In the context of conditional logics, describes any conditional logic $L$ for which the inference $\frac{(ξ \land ζ) \to ψ}{((φ □ \to ξ) \land (φ □ \to ζ)) \to (φ □ \to ψ)}$ is admissible, where the connectives $□ \to$ and $\to$ correspond to the intensional and material conditionals and $\land$ is a conjunction.
随便看	European Congress of Chemical Engineering European Currency Unit European Economic Area European Economic Community European economic integration European Federation of Chemical Engineering European Federation of Geologists European Financial Stability Facility European Free Trade Association European Geosciences Union European GeoTraverse European Launcher Development Organization European Monetary Institute European Monetary System European Monetary Union European Neighbourhood Policy European Northern Observatory European Organisation for the Exploitation of Meteorological Satellites European Parliament European Province European Remote-Sensing Satellite European Retrievable Carrier European Single Market European Social Survey European Southern Observatory