検索結果- 英語 - 英語

検索内容:

logic,

relevance logic

名詞

A kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related, and aiming to capture aspects of implication that are ignored by the "material implication" operator in classical truth-functional logic.

日本語の意味

前件と後件が実質的な関連性を有する必要があるという条件の下、古典論理の物質的含意では捉えられない含意の側面を捉えることを目指す、非古典論理の一種。

このボタンはなに？

Relevance logic is a kind of non-classical logic that requires the antecedent and consequent of an implication to be relevantly related, aiming to capture aspects of implication that are ignored by the material implication operator in classical truth-functional logic.

Google翻訳 / DeepL翻訳

関連論理は、含意の前件と後件が互いに関連していることを要求する非古典論理の一種であり、古典的な真理関数論理における物質含意演算子が無視している含意の側面を捉えようとする。

詳細

logical punctuation

名詞

不可算名詞

Synonym of logical quotation

日本語の意味

論理的引用 / 論理的な引用符

このボタンはなに？

To avoid ambiguity, the editor added logical punctuation to each sourced paragraph.

Google翻訳 / DeepL翻訳

あいまいさを避けるため、編集者は各出典の段落に論理的な引用を追加した。

詳細

linear logic

名詞

(logic) A logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both "additive" and "multiplicative" versions of the typical binary connectives and truth constants; and which has a pair of modal, "exponential" operators for resource management, to help make up for the loss of the two structural rules.

日本語の意味

線形論理（linear logic）は、順序付けられた論理体系において、弱化規則と収縮規則という2つの構造的規則が除外されている論理体系です。 / この体系は、従来の二項論理結合子や真理値定数に対して、加法的（additive）および乗法的（multiplicative）なバリエーションが存在し、加えて資源管理の補完として、モーダルな「指数」演算子のペアを導入している点が特徴です。

このボタンはなに？

Researchers studied linear logic to understand how the absence of weakening and contraction restricts copying and discarding of resources.

Google翻訳 / DeepL翻訳

研究者たちは、弱化と収縮という構造規則が存在しない論理を研究し、その規則の欠如が資源の複製や破棄をどのように制限するかを理解しようとした。

詳細

Hoare logic

名詞

可算名詞不可算名詞

(computing theory) A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations.

日本語の意味

ホア論理：コンピュータプログラムの正当性（正しさ）を論理的に検証するための形式的規則体系。ホア・トリプル（各操作前後のシステム状態の記述）に基づいて、プログラムの挙動を証明するための方法論。