机构（计算机科学）

机构的概念，目的是处理计算机科学中使用的逻辑系统中的人口爆炸问题。这个概念试图将逻辑系统的非正式概念正式化。机构的使用使得规范语言、证明计算、甚至工具的概念有可能以完全独立于底层逻辑系统的方式发展。也有一些形态，允许关联和翻译逻辑系统。这方面的重要应用是逻辑结构的再利用（也叫借用），以及逻辑的异质性规范和组合。制度模型理论的传播概括了模型理论的各种概念和结果，而制度本身也影响了普遍逻辑的进展。

机构理论并不假设任何关于逻辑系统的性质。也就是说，模型和句子可以是任意的对象；xxx的假设是，在模型和句子之间有一个满足关系，告诉人们一个句子在模型中是否成立。满意度受塔斯基的真理定义的启发，但事实上可以是任何二元关系。机构的一个关键特征是，模型、句子和它们的满意度，总是被认为生活在一些词汇或语境（称为签名）中，这些词汇或语境定义了可用于句子的（非逻辑）符号，并且需要在模型中解释。此外，签名形态允许扩展签名，改变符号，等等。

除了签名形态可以被组成之外，没有关于签名和签名形态的假设；这相当于有一个签名和形态的类别。最后，我们假设签名形态导致了句子和模型的翻译，而翻译的方式是保留了满意度。句子与签名形态一起被翻译(想想符号沿着形态被替换)，而模型则针对签名形态被翻译。例如，在签名扩展的情况下，（较大的）目标签名的模型可以通过忘记模型的一些成分而被还原成源签名的模型。满足条件表达了真理在符号的改变下是不变的。