论文部分内容阅读
我们给出说谎者悖论的一种新分析，利用关系语义建立了说谎者语句的语义解释。我们证明了,说谎者语句在某关系框架上不蕴涵矛盾，当且仅当该框架不含奇循环。由此，在下述意义上建立了说谎者语句不说谎的系统改系统恰好为无奇循环的框架类刻画。
说谎者不说谎的逻辑
【摘 要】
：
我们给出说谎者悖论的一种新分析，利用关系语义建立了说谎者语句的语义解释。我们证明了,说谎者语句在某关系框架上不蕴涵矛盾，当且仅当该框架不含奇循环。由此，在下述意义上建
【出 处】
：
第二届两岸逻辑教学学术会议
【发表日期】
：
2006年10期
其他文献
傅真忻——生于1943年,湖南湘乡人毕业于湖南师范大学美术系中国画专业、西安美术学院高研班,师从著名画家李习勤、刘文西教授系中国美术家协会会员、国家高级美术师,现任中
柳钢有一条年产120万t/a和一条年产240万t/a的氧化球团生产线，由于没有自己的矿山，其使用的原料全部依靠国内其他地区矿和国外进口，因此好的矿种和适宜的配矿方案是柳钢生产优质
合理炉料结构是满足高炉冶炼的必要条件之一，也是实现高炉高产、优质、低耗和长寿的重要条件。关于鞍钢球团矿产能增加后高炉炉料结构问题，应该是“十一五”期间炼铁工作者认真
随着我国“可持续发展”战略的提出，各行各业的发展都非常注重节能环保，特别是对于建筑这一能源消耗量极大的行业，做好相应的节能环保工作。不仅符合国家现阶段的发展国情，同时还