conservative extension（ある論理理論を拡張したもの。拡張）とは - 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索内容:

conservative extension

日本語の意味

ある論理理論を拡張したもの。拡張後の理論において、元の理論で表現可能な全ての定理が依然として導出可能であり、新たな定理は元の理論の範囲外となる性質を持つ拡張（論理体系の保存的拡張）

論理理論の保守的拡張は、元の言語で表現できるすべての定理が引き続き導出可能であり、拡張によって新たに導入されたものではないことを保証する。

活用形複数形

plural of conservative extension

日本語の意味

「conservative extension」の複数形であり、通常は論理学や数学の分野で使われる専門用語。単数形の「保守的拡張」として用いられ、基本となる理論に対して、その理論の性質を損なわずに追加される拡張を指す。

研究者たちは、元の言語で新しい定理を導入しない形式体系のいくつかの保守拡張を調べ、予期しない追加が生じていないことを確認した。

Webで検索する