相干逻辑

通过对蕴涵怪论的分类处理，并结合现有相干逻辑系统的恰当性分析，有助于探索相干逻辑研究的新思路。

Based on these observations , this article tries to establish a new approach to our investigation of relevance logic through classification of paradoxes of implication , in combination of an analysis of the adequacy of existing systems of relevance logic .

给出了相干命题逻辑自然推理系统NR的自动证明算法。

This paper presented an automated reasoning algorithm for natural deduction system ( NR ) of relevance propositional logic .

在四波混频参量放大过程中可以提供大的非线性强度和陡峭的色散，使得实验上可以实现基于相干反馈的光学逻辑门和单光子诱导的双频率全光延迟。

The FWM parametric amplification process can provide large nonlinearity and steep dispersion , resulting in optical logic gates using coherent feedback and single-photon level induced all-optical delays at two different frequencies .