全文获取类型
收费全文 | 900篇 |
免费 | 15篇 |
国内免费 | 2篇 |
出版年
2023年 | 4篇 |
2022年 | 5篇 |
2021年 | 3篇 |
2020年 | 12篇 |
2019年 | 9篇 |
2018年 | 5篇 |
2017年 | 4篇 |
2016年 | 30篇 |
2015年 | 9篇 |
2014年 | 19篇 |
2013年 | 42篇 |
2012年 | 5篇 |
2011年 | 5篇 |
2010年 | 9篇 |
2009年 | 45篇 |
2008年 | 71篇 |
2007年 | 71篇 |
2006年 | 57篇 |
2005年 | 71篇 |
2004年 | 55篇 |
2003年 | 57篇 |
2002年 | 58篇 |
2001年 | 39篇 |
2000年 | 58篇 |
1999年 | 38篇 |
1998年 | 32篇 |
1997年 | 33篇 |
1996年 | 21篇 |
1995年 | 20篇 |
1994年 | 5篇 |
1993年 | 3篇 |
1992年 | 3篇 |
1991年 | 3篇 |
1990年 | 4篇 |
1989年 | 3篇 |
1988年 | 6篇 |
1987年 | 3篇 |
排序方式: 共有917条查询结果,搜索用时 20 毫秒
881.
A Modal Sortal Logic 总被引:1,自引:1,他引:0
An intensional semantic system for languages containing, in their logical syntax, sortal quantifiers, sortal identities, (second-order) quantifiers over sortals and the necessity operator is constructed. This semantics provides non-standard assignments to predicate expressions, which diverge in kind from the entities assigned to sortal terms by the same semantic system. The nature of the entities assigned to predicate expressions shows, at the same time, that there is an internal semantic connection between those expressions and sortal terms. A formal logical system is formulated that is proved to be absolutely consistent, sound and complete with respect to the intensional semantic system. 相似文献
882.
Markus Kemmelmeier 《决策行为杂志》2004,17(3):231-243
The dilution effect refers to the finding that judgments are often unduly influenced by nondiagnostic information, producing regressive judgment. Because the dilution effect is a problem in various domains, strategies to control the impact of nondiagnostic information were explored by drawing on a perceptual and a conversational account of the dilution effect. Three experiments (n = 259) demonstrate that explicit instructions to discriminate between diagnostic and nondiagnostic information did not reduce the dilution effect. Rather, consistent with a perceptual explanation but not consistent with a conversational explanation, the dilution effect disappeared only when participants engage in perceptual control, that is, when they actively remove nondiagnostic pieces of information before making a judgment. Copyright © 2004 John Wiley & Sons, Ltd. 相似文献
883.
In this paper, we define a family of fuzzy hybrid logics that are based on Gödel logic. It is composed of two infinite-valued versions called and , and a sequence of finitary valued versions . We define decision procedures for both and that are based on particular sequents and on a set of proof rules dealing with such sequents. As these rules are strongly invertible the procedures naturally allow one to generate countermodels. Therefore we prove the decidability and the finite model property for these logics. Finally, from the decision procedure of , we design a sound and complete sequent calculus for this logic. 相似文献
884.
Deontic Interpreted Systems 总被引:1,自引:0,他引:1
We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model the correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The resulting logic, KD45n
i-j, is a stronger version of KD, the system often referred to as Standard Deontic Logic. We extend this formal framework to include the standard epistemic notions defined on interpreted systems, and introduce a new doubly-indexed operator representing the knowledge that an agent would have if it operates under the assumption that a group of agents is functioning correctly. We discuss these issues both theoretically and in terms of applications, and present further directions of work. 相似文献
885.
886.
Extended Quantum Logic 总被引:1,自引:0,他引:1
The concept of quantum logic is extended so that it covers a more general set of propositions that involve non-trivial probabilities. This structure is shown to be embedded into a multi-modal framework, which has desirable logical properties such as an axiomatization, the finite model property and decidability. 相似文献
887.
In this paper, we define some consequence relations based on supervaluation semantics for partial models, and we investigate their properties. For our main consequence relation, we show that natural versions of the following fail: upwards and downwards Lowenheim–Skolem, axiomatizability, and compactness. We also consider an alternate version for supervaluation semantics, and show both axiomatizability and compactness for the resulting consequence relation. 相似文献
888.
This paper presents a neighborhood semantics for logics of entailment. It begins with a minimal system Min that expresses the most fundamental assumptions about the entailment relation, and continues by examining various extensions that reflect further assumptions that might be made about entailment. This leads first to the logic B that is the basic relevant logic, and then to more powerful systems. All of these logics are proved to be sound and strongly complete. With B the neighborhood semantics meets the Routley–Meyer relational semantics for relevant logic; these connections are examined. The minimal and basic entailment logics are shown to have the finite model property, and hence to be decidable. 相似文献
889.
890.
科学心理学观念的普遍兴起,是19世纪中叶错综复杂的思想史背景的产物。只有在人类思想及其历史作为整体的关系背景中,才能澄清这个观念的内在本性。也只有在系统地接受这个背景的制约关系中,这个观念才能获得其真理的实现。能否在人类思想作为整体中胜任并执行其理论职能,成为我们检验一种心理学体系之真理性的途径之一:科学心理学观念只有实现为现象学心理学,才能执行其为人文科学奠基的逻辑职能; 反之亦然。这个关系还从否定方面暗示着,一切以异化的形式实现的心理学,都不可能真正承担起为人文科学奠基的逻辑职能,并因而违背了我们的常识。 相似文献