邻域语义与修正真理论

古普塔和赫兹伯格在1982年各自独立地提出了修正真理论,建立了可用于分析真与相关悖论的修正序列。修正真理论根据语句在所有修正序列中的表现,对语句进行分类。然而,修正真理论在某些语句的分类上不能令人满意,如修正真理论把柯瑞悖论的逆命题断定为绝对地真,这与直觉不一致。本文将从两种路径引入邻域语义研究修正真理论。路径一是在基模型上引入邻域基模型,建立邻域基模型修正序列。这类修正序列比经典修正序列更多,增加的修正序列可使包括柯瑞悖论的逆命题在内的一些语句的病态呈现出来。路径二是通过引入邻域语义模型,使得对任意不含模态词的公式φ,模态公式□φ在后继阶段的真值可以反映φ在上一阶段的真值,并且□φ在极限阶段的真值可以反映φ在至这个极限阶前是否稳定真。从而可以通过□φ的真值来限定Tφ的真值,使得满足相应限制的模型类表示了相应的修正序列。本文最后将对两个路径进行整合,构造出能表示邻域基模型修正序列的整体修正序列模型。

导流洞洞身砼衬砌施工质量控制技术

洞身混凝土净空尺寸为10m×13m的城门洞形断面,洞身渐变段为10m×13m的矩形断面渐变成10m×13m的城门洞形断面。混凝土强度等级为C25,混凝土工程量约为32904m。在混凝土施工过程中,按规范及设计要求,对混凝土的质量、配合比及仓面作业等混凝土生产过程中的各主要环节,进行全方位、全过程的质量控制。

从悖论性的角度比较关于真的不动点理论和修正理论

出于“在各种各样的选择中了解情况”的目的,克莱默(2009)定义了三个不同的关系来比较文献中的十个不动点理论和三个修正理论。本文通过从另一个重要的的角度对这些理论进行比较——悖论性的角度,来延续克莱默的比较工作。悖论性这个观念对真理论很重要,它甚至影响了哲学家对具体真理论的选择。本文根据这个比较的角度定义了一个二元关系,并依据这个新关系建立了克莱默(2009)所考虑的十三个真理论之间的关系。

小母猪阉割术后嵌闭及粘连的治疗和体会

农村传统的养猪方法,即当小母猪生长到40kg左右时,都要实施阉割,以提高饲料报酬及猪肉的品质,获得较好的经济效益.但若阉割手术不当,或术后饲养管理失调等,则易导致肠管或子宫角嵌闭或粘连等后遗症.其表现为食欲减退、废绝,生长发育停滞,严重者甚至死亡.若能及时诊治,均可治愈.多年来,笔者采用甲基新斯的明及抗生素治疗189例,治愈率100%.现将治疗和体会报告如下:

中医辨证施治在新生儿药浴中的应用

目的探讨中医辨证法加减制成药浴水疗方进行水疗对新生儿血糖、经皮胆红素、呕吐、湿疹情况的影响。方法将396例新生儿（伴呕吐新生儿120例、早产儿或低体重儿76例、足月儿200例）随机分为对照组和药浴组各198例，对照组采用常规沐浴，药浴组在常规沐浴的基础上增加药浴水疗。比较新生儿药浴前后血糖值、两组出生后经皮胆红素值、新生儿发生呕吐、湿疹的变化情况。结果药浴后15min38例早产儿或低体重儿足跟血糖第1，3天分别为（4．448±0．266），（4．457±0．314）mmol/L，与药浴前15min[（4．509±0，274），（4，624±0．305）mmol／L]比较差异有统计学意义（t值分别为2．854，2．463；P〈0．05）；出生后96，144h胆红素值药浴组38例早产儿或低体重儿分别为（158．12±36．81），（166．05±20．18）μmol／L，与对照组[（199．08±35．68），（189．16±7．98）μmo]／L]比较，差异有统计学意义（t值分别为4．925，6．565；P〈0．01）。伴呕吐新生儿药浴组总有效率91．7％，对照组为65．0％，差异有统计学意义（Z=3．619，P〈0．01）。正常足月儿药浴组发生湿疹2例，对照组16例，差异有统计学意义（x2=11．966，P〈0．01）。结论药浴疗法可减少早产儿和低体重儿病理性黄疸的发生，降低黄疽程度，对新生儿呕吐和湿疹疗效显著，不失为一种值得推广的医疗保健方法。

克林强三值模式与修正过程

真之修正理论主要在经典二值模式下展开修正过程,但这种过程同时也兼容非经典赋值模式。本文在克林强三值这一典型的非经典赋值模式下规定修正过程,并利用这种过程对带真谓词的语句尤其是悖论语句进行了分析。由此给出了这些语句的一个更多样化的分类。这表明克林强三值赋值下的修正理论不但是一个包容性更强的修正理论,而且还为古普塔提出的真谓词的描述性问题提供了一个更全面的解决方案。