排序方式: 共有216条查询结果,搜索用时 15 毫秒
191.
We show how to use diagrams in order to obtain straightforward completeness theorems for extensions of K4.3 and a very simple and constructive proof of Bull's theorem: every normal extension of S4.3 has the finite model property. 相似文献
192.
193.
194.
内隐记忆的证明逻辑与加工分离说(PDP)的修正模型 总被引:3,自引:0,他引:3
讨论了内隐记忆的证明逻辑和内隐与外显测验中的意识和无意识影响问题。间接证明内隐记忆的逻辑应用在功能分离实验中。它的前提假设是记忆测验都是"纯净"的。直接证明逻辑应用在匹配比较实验中。它认为测验中的意识和无意识影响是并存的,Jacoby等人近期提出的加工分离说(PDP)在匹配比较法的基础上,将测验中的意识和无意识影响进行了分离,并借用经典测验理论的公式计算这两种影响。作者认为,按照概率论关于两个随机独立事件之和与积的运算法则,必须把包含测验(inclusiontest)的公式修正为Inclusion=R(1-a)+A(1-R)。修正过的PDP由四个方程组成。它不仅考虑了原PDP忽视的外显条件下的无意识缺失(1-a),而且可以更加确切地估计回忆概率(R)。这在数学理论上已找到了证据。 相似文献
195.
This paper develops a new proof method for two propositional paraconsistent logics: the propositional part of Batens' weak
paraconsistent logic CLuN and Schütte's maximally paraconsistent logic Φv. Proofs are de.ned as certain sequences of questions. The method is grounded in Inferential Erotetic Logic. 相似文献
196.
In this paper, we provide a logical formalization of the emotion triggering process and of its relationship with mental attitudes,
as described in Ortony, Clore, and Collins’s theory. We argue that modal logics are particularly adapted to represent agents’
mental attitudes and to reason about them, and use a specific modal logic that we call Logic of Emotions in order to provide
logical definitions of all but two of their 22 emotions. While these definitions may be subject to debate, we show that they
allow to reason about emotions and to draw interesting conclusions from the theory. 相似文献
197.
198.
Ramon Jansana 《Studia Logica》2003,75(3):305-317
Leibniz filters play a prominent role in the theory of protoalgebraic logics. In [3] the problem of the definability of Leibniz filters is considered. Here we study the definability of Leibniz filters with parameters. The main result of the paper says that a protoalgebraic logic S has its strong version weakly algebraizable iff it has its Leibniz filters explicitly definable with parameters. 相似文献
199.
In order to capture the concept of common knowledge, various extensions of multi-modal epistemic logics, such as fixed-point ones and infinitary ones, have been proposed. Although we have now a good list of such proposed extensions, the relationships among them are still unclear. The purpose of this paper is to draw a map showing the relationships among them. In the propositional case, these extensions turn out to be all Kripke complete and can be comparable in a meaningful manner. F. Wolter showed that the predicate extension of the Halpern-Moses fixed-point type common knowledge logic is Kripke incomplete. However, if we go further to an infinitary extension, Kripke completeness would be recovered. Thus there is some gap in the predicate case. In drawing the map, we focus on what is happening around the gap in the predicate case. The map enables us to better understand the common knowledge logics as a whole. 相似文献
200.
We present a general framework for proof systems for relational theories. We discuss principles of the construction of deduction rules and correspondences reflecting relationships between semantics of relational logics and the rules of the respective proof systems. We illustrate the methods developed in the paper with examples relevant for the Lambek calculus and some of its extensions. 相似文献