全文获取类型
收费全文 | 901篇 |
免费 | 15篇 |
国内免费 | 2篇 |
出版年
2023年 | 1篇 |
2022年 | 2篇 |
2021年 | 3篇 |
2020年 | 11篇 |
2019年 | 9篇 |
2018年 | 5篇 |
2017年 | 5篇 |
2016年 | 30篇 |
2015年 | 9篇 |
2014年 | 19篇 |
2013年 | 42篇 |
2012年 | 5篇 |
2011年 | 5篇 |
2010年 | 9篇 |
2009年 | 45篇 |
2008年 | 71篇 |
2007年 | 72篇 |
2006年 | 57篇 |
2005年 | 71篇 |
2004年 | 55篇 |
2003年 | 57篇 |
2002年 | 58篇 |
2001年 | 42篇 |
2000年 | 58篇 |
1999年 | 38篇 |
1998年 | 32篇 |
1997年 | 36篇 |
1996年 | 21篇 |
1995年 | 20篇 |
1994年 | 5篇 |
1993年 | 3篇 |
1992年 | 3篇 |
1991年 | 3篇 |
1990年 | 4篇 |
1989年 | 3篇 |
1988年 | 6篇 |
1987年 | 3篇 |
排序方式: 共有918条查询结果,搜索用时 46 毫秒
791.
I present here a modal extension of T called KTLM which is, by several measures, the simplest modal extension of T yet presented. Its axiom uses only one sentence letter and has a modal depth of 2. Furthermore, KTLM can be realized as the logical union of two logics KM and KTL which each have the finite model property (f.m.p.), and so themselves are complete. Each of these two component logics has independent interest as well. 相似文献
792.
A Proof of Standard Completeness for Esteva and Godo's Logic MTL 总被引:7,自引:0,他引:7
In the present paper we show that any at most countable linearly-ordered commutative residuated lattice can be embedded into a commutative residuated lattice on the real unit interval [0, 1]. We use this result to show that Esteva and Godo's logic MTL is complete with respect to interpretations into commutative residuated lattices on [0, 1]. This solves an open problem raised in. 相似文献
793.
人格特质与认知操作关系的初步研究 总被引:5,自引:0,他引:5
本研究采用NEO PI R测试 ,以逻辑推理为认知操作指标 ,初步考察了人格特质与大学生认知操作的关系。结果表明 :①神经质、外倾性与逻辑推理有显著负相关 ,开放性则与之呈正相关 ;②人格特质和认知操作关系的偏相关分析与相关分析的结果基本一致 ;③多元逐步回归分析显示 ,外倾性与逻辑推理有负性预测关系 ,开放性及严谨性则与逻辑推理有正性预测关系 ;④人格特质与认知操作的关系受操作难度、认知任务和兴趣类型等因素制约。 相似文献
794.
Certain extensions of Nelson's constructive logic N with strong negation have recently become important in arti.cial intelligence
and nonmonotonic reasoning, since they yield a logical foundation for answer set programming (ASP). In this paper we look
at some extensions of Nelson's .rst-order logic as a basis for de.ning nonmonotonic inference relations that underlie the
answer set programming semantics. The extensions we consider are those based on 2-element, here-and-there Kripke frames. In
particular, we prove completeness for .rst-order here-and-there logics, and their minimal strong negation extensions, for
both constant and varying domains. We choose the constant domain version, which we denote by QNc5, as a basis for de.ning a .rst-order nonmonotonic extension called equilibrium logic. We establish several metatheoretic
properties of QNc5, including Skolem forms and Herbrand theorems and Interpolation, and show that the .rst-oder version of equilibrium logic can be used as a foundation for answer set inference. 相似文献
795.
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. 相似文献
796.
797.
John Woods 《Argumentation》2002,16(1):59-79
When someone is asked to speak his mind, it is sometimes possible for him to furnish what his utterance appears to have omitted. In such cases we might say that he had a mind to speak. Sometimes, however, the opposite is true. Asked to speak his mind, our speaker finds that he has no mind to speak. When it is possible to speak one's mind and when not is largely determined by the kinds of beings we are and by the kinds of resources we are able to draw upon. In either case, not speaking one's mind is leaving something out whose articulation would or could matter for the purposes for which one was speaking in the first place. Inarticulation is no fleetingly contingent and peripheral phenomenon in human thinking and discourse. It is a substantial and dominant commonplace. In Part One I attempt to say something about what it is about the human agent that makes inarticulateness so rife. In Part Two, I consider various strategies for making the unarticulated explicit, and certain constraints on such processes. I shall suggest, among other things, that standard treatments of enthymematic reconstruction are fundamentally misconceived. 相似文献
798.
Kevin C. Klement 《Argumentation》2002,16(4):383-400
Attempts to evaluate a belief or argument on the basis of its cause or origin are usually condemned as committing the genetic fallacy. However, I sketch a number of cases in which causal or historical factors are logically relevant to evaluating a belief, including an interesting abductive form that reasons from the best explanation for the existence of a belief to its likely truth. Such arguments are also susceptible to refutation by genetic reasoning that may come very close to the standard examples given of supposedly fallacious genetic reasoning. 相似文献
799.
Christopher Steinsvold 《Journal of Philosophical Logic》2008,37(1):45-56
Patrick Grim has presented arguments supporting the intuition that any notion of a totality of truths is incoherent. We suggest
a natural semantics for various logics of belief which reflect Grim’s intuition. The semantics is a topological semantics,
and we suggest that the condition can be interpreted to reflect Grim’s intuition. Beyond this, we present a natural canonical topological model for
K4 and KD4. 相似文献
800.
ONE TRUE LOGIC? 总被引:1,自引:0,他引:1
Gillian Russell 《Journal of Philosophical Logic》2008,37(6):593-611
This is a paper about the constituents of arguments. It argues that several different kinds of truth-bearer may be taken to
compose arguments, but that none of the obvious candidates—sentences, propositions, sentence/truth-value pairs etc.—make sense
of logic as it is actually practiced. The paper goes on to argue that by answering the question in different ways, we can
generate different logics, thus ensuring a kind of logical pluralism that is different from that of J. C. Beall and Greg Restall. 相似文献