后承

首先，论文详细地考察了逻辑后承的各种定义，总结了研究逻辑后承的方法并指出各种研究方法所存在的一些缺陷。

Firstly , it reviews the different definitions of logical consequence in detail , sums up all ways in researching logical consequence and points out some falsity in all ways .

而且能否全面地理解和掌握好逻辑后承及其相关问题，是关系到能否真正掌握现代逻辑的关键所在。

And only when you totally understand and master the problem of logical consequence and its related questions , can you truly learn modern logic well .

一个新的意图后承形式系统L（m5c）

A New Formal System of Intention Consequences L_ ( m5c )

这些结果说明，KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。

These results reveal that KLM valuation structure provides a sufficient and canonical approach to establish representation theorems for any injective inference relations in finite framework .

收缩后承若干问题的研究

Studies on Some Problems in the Theory of Contraction Inference

论逆后承条件与亨普尔定性确证理论的不相容性不同地质条件下后压浆灌注桩承载力分析

Analysis of the bearing capacity of the cast-in-place pile with post grouting under different geologic conditions

国有林权制度改革后承包户投资及收入调查

Investigation and Analysis on Investment and Income of Contract Households Participating in National Forest Property Right System Reform

从逻辑哲学的角度来说，逻辑是研究后承关系、有效推理的理论。

From the view of philosophy of logic , logic is studying the relation of consequence and valid inference .

建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题。

To establish a formal inferential system of intention consequences is an important issue in the formal study of intention .

有效地处理属性论的分级现象，后承式的推理方法被引入至计算中，结果形成属性论的一个新的计算框架。

We introduce the notion of sequent to the computation , and it results a new computing frame in the research .

从而进一步给出D-后承关系的表示性质，并由此证明了任意无联结词形式的累积非单调后承关系，可以用抽象缺省推理框架来表示。

Based on representation properties of D-consequence relations , it proves that any cumulative nonmonotonic consequence relation with the connective-free form can be represented by ADRFs .

与已有的意图后承形式系统相比，这个系统比较简单，并具有许多现有同类系统所不具备的优良性质，比如无副作用。

Compared with other known formal systems of intention consequences , this system is simpler and possesses many desired properties , such as free from all cases of the known side-effects .

在人工智能及实际应用领域，我们面临的信息往往是不完备的，此时，一味地追求经典逻辑意义上的逻辑后承是不现实的。

In artificial intelligence and practical applications , the available information is usually incomplete . In this situation , the blind pursuit of the logical consequence in the sense of classical logic is impractical .

但是这个发现的成立，依赖于概念是可能世界到内涵的映射、概念的内涵是概念承载词涵义的全体概称后承等观点的成立，而这些观点与现行概念理论并不相符。

The intension of a concept is the set of all generic consequences derived from the sense of the term that expresses the concept ; etc. However , these assumptions are not in accord with the traditional views .

机油会从正时齿轮盖和后主轴承油封处压出。

Oil may be forced out through the timing cover and rear-main bearing oil seals .

在通过模态试验、振动试验等验证后，该承力筒成功地应用于某卫星上。

After the model and vibrate test , the cylinder was used in the satellite successfully .

第二十六条出票人签发汇票后，即承担保证该汇票承兑和付款的责任。

Article 26 A drawer who signs and issues a bill shall bear the liability for guaranteeing the acceptance and payment of the bill .

结构要求密闭，不渗水、不漏气。天然气置换后铸铁管承插接口漏气对策

It 's structure must be air tightness , no water percolation and no air leakage . Countermeasures against Gas Leakage from Bell Socket of Cast-iron Pipe after Natural Gas Conversion

对引进的静叶可调轴流式通风机的主轴承装配结构进行了优化，并对原结构进行了一系列的改进，实践证明，改进后的主轴承装配运行效果良好。

Main bearing assembly structure of imported stationary blade adjustable axial fan is optimized , a series of improvement is carried out on the original structure , practice proved that the main bearing assembly after improvement is in good operation condition .

分析了天然气置换人工煤气后铸铁管道承插接口漏气原理，介绍了4种解决方案：管道更换、PE管内衬、接口修补及燃气加湿，对其进行了技术经济比较。

The principle of gas leakage from bell socket of cast-iron pipe after conversion from manufactured gas to natural gas is analyzed . Four solutions including pipe replacement , PE pipe insertion , joint repair and gas humidification are introduced , and the techno-economic comparison of these solutions is made .

试验研究表明，加设填充墙及赘余杆件后，使柱承式方仓上下刚度趋于均匀，延性得到改善，从而有效地提高了方仓的抗震能力。

Research and test prove that infilling brickwork and adding superfluous poles bring about uniform stiffness and increased extensibility of reinforced concrete columns supported bunkers , thus remarkably improving the bunkers ' seismic behavior .

壳体后接头、喷管固定体对后封头承外压能力有加强作用；

The case rear joint and the fixed body of the nozzle can reinforce the case rear dome obviously .