...
机译:从理性的哥德尔逻辑到超逻辑
Amirkabir Univ Technol, Dept Math & Comp Sci, Tehran 158754413, Iran;
Amirkabir Univ Technol, Dept Math & Comp Sci, Tehran 158754413, Iran;
Inst Res Fundamental Sci IPM, Sch Math, Tehran 193955746, Iran;
First-order Godel logic; continuous metric logic; ultrametric logic; Robinson consistency theorem;
机译:逻辑讲座。 戈德尔在巴黎圣母院的基本逻辑课程
机译:关于模糊逻辑中的见证模型III-见证的Godel逻辑
机译:Ramsey思想中的逻辑,理性和知识:重新评估“人逻辑”
机译:对于模糊逻辑的理性关闭:命题戈德尔逻辑的案例
机译:运算逻辑
机译:道德理性:在信仰的形成和评估中依靠逻辑和证据可以被视为道德问题
机译:从RationalGödel逻辑到超参数逻辑