一种新的理论的相容度及近似推理方法

摘要

根据演绎定理和完备性定理,应用公式真度理论在几种常见标准完备性成立的系统中建立一种新的一般理论的相容度概念,给出了理论Γ相容,不相容及其它相关结论的充分必要条件,进而将这种相容度的建立思想推广并提出了Γ推出A的程度(Exten(Γ,A))的概念,得到相应的一些充要条件。