机译:超直觉命题计算的公理化识别问题的不确定性
Classical propositional logic; Intuitionistic propositional logic; Superintuitionistic calculus; Implicational calculus; Finite axiomatization; Tag system;
机译:超直觉命题计算的公理化识别问题的不确定性
机译:整数半环上可识别序列的支持的可识别性尚不确定
机译:圣母,未定命题的女王
机译:存在的无域类型Lambda计算中类型检查的不确定性
机译:模态和直觉性命题的片段。
机译:动物和人类中元认知的不确定性和不透明性
机译:识别命题结石的公理化问题的问题
机译:正态模态命题逻辑的后续计算