T-模式
来自维基百科，自由的百科全书
T-模式（也叫做約定T）是位於 Alfred Tarski 的真理的語義理論的任何實現的核心位置的歸納定義，表達了真理在邏輯運算符上的交換性。[1]
T-模式經常用自然語言表達，但它們很容易接納多類謂詞邏輯或模態邏輯的形式化；比如叫做 T-理論的公式化。T-理論構成了哲學邏輯中很多基礎工作的基礎，它們被應用於分析哲學中很多重要爭論。它們也是在模型論背後的基礎直覺；或者說模型論實現了它們。
參見
註釋
外部連結
Wikiwand - on
Seamless Wikipedia browsing. On steroids.