机译:致命的Heyting代数和强迫持久句
forcing; Heyting algebra; intermediate logics;
机译:致命的Heyting代数和强迫持久句
机译:Kripke-Joyal语义的归约定理:强迫任意类别总是可以通过强迫整个Heyting代数来代替
机译:Kripke-Joyal语义的归约定理:强迫任意类别总是可以通过强迫整个Heyting代数来代替
机译:部分有序集上的蕴涵代数和Heyting代数
机译:Heyting代数和分布格的可计算性。
机译:日本致命的虐待儿童行为:是否存在朝着更严厉的判刑趋势?
机译:致命的Heyting代数和强迫持久句