公理化真理论相关论文
紧缩真理论认为“真”是非实质的概念,并得出保守性承诺,即真理论不能比基础理论证明更多的不包含真概念的事实.已有结论则表明,大......
塔尔斯基的语义真理论是逻辑发展史上的一座里程碑。它带来了真理论研究的塔尔斯基转向：在研究基础上,发生了从本体论或认识论到语......
哈尔巴赫（Volker Halbach）、霍斯顿（Leon Horsten）作为研究公理化真理论的领军人物,多年来一直致力于公理化真理论体系内部各分支理论......
本文在直觉主义逻辑和海廷算术HA的基础上,重新考察了去引号模式和组合真公理,得到了三种直觉主义的类型真理论:IDT、ICT和SICT,并......
公理化真理论把真看作一个原始谓词,并用一组公理和规则给出真谓词的意义,真首先是语形概念。在公理化真理论的标准模型中,一个定......
