機構（計算機科學）

機構的概念，目的是處理計算機科學中使用的邏輯系統中的人口爆炸問題。這個概念試圖將邏輯系統的非正式概念正式化。機構的使用使得規范語言、證明計算、甚至工具的概念有可能以完全獨立于底層邏輯系統的方式發展。也有一些形態，允許關聯和翻譯邏輯系統。這方面的重要應用是邏輯結構的再利用（也叫借用），以及邏輯的異質性規范和組合。制度模型理論的傳播概括了模型理論的各種概念和結果，而制度本身也影響了普遍邏輯的進展。

機構理論并不假設任何關于邏輯系統的性質。也就是說，模型和句子可以是任意的對象；xxx的假設是，在模型和句子之間有一個滿足關系，告訴人們一個句子在模型中是否成立。滿意度受塔斯基的真理定義的啟發，但事實上可以是任何二元關系。機構的一個關鍵特征是，模型、句子和它們的滿意度，總是被認為生活在一些詞匯或語境（稱為簽名）中，這些詞匯或語境定義了可用于句子的（非邏輯）符號，并且需要在模型中解釋。此外，簽名形態允許擴展簽名，改變符號，等等。

除了簽名形態可以被組成之外，沒有關于簽名和簽名形態的假設；這相當于有一個簽名和形態的類別。最后，我們假設簽名形態導致了句子和模型的翻譯，而翻譯的方式是保留了滿意度。句子與簽名形態一起被翻譯(想想符號沿著形態被替換)，而模型則針對簽名形態被翻譯。例如，在簽名擴展的情況下，（較大的）目標簽名的模型可以通過忘記模型的一些成分而被還原成源簽名的模型。滿足條件表達了真理在符號的改變下是不變的。