简单类型论相关论文
罗素悖论是典型的逻辑悖论或语形悖论。罗素的类型论解决方案以避免恶性循环为前提,核心内容是把对象分成不同的类型并避免类型的......
关于逻辑史上对悖论问题的解决侯丽白郑文辉在日常语言的语义中，悖论一词的原始意义是指一种违反通常接受的见解的陈述，即由断其真而......
