intensional logic

基本解釋

• [數學]內涵邏輯
• [語言學]內含邏輯

英漢例句

雙語例句

• The law of substitution of co-referential expressions, which originated from classical logic, is invalid in intensional contexts, hence "intensional puzzle".
  經典邏輯中的同一性替換規(guī)則在內涵語境中普遍失效，產生“內涵困惑”。
• The pragmatic intensional logic constructed by Montague helps us to analyze and treat the relation between intension and'extension in such an indirect context.
  蒙塔古構建的語用內涵邏輯對我們分析處理這類間接語境中內涵與外延間的關系有極大的啟示。

• intensional logic更多例句

詞組短語

短語

• intensional logic and categorical grammar 第八章
• fine -grained intensional logic 精細內涵邏輯

• intensional logic更多詞組

專業(yè)釋義

數學

• 內涵邏輯

語言學

• 內含邏輯