全文获取类型
收费全文 | 894篇 |
免费 | 15篇 |
国内免费 | 2篇 |
出版年
2023年 | 1篇 |
2022年 | 2篇 |
2021年 | 3篇 |
2020年 | 11篇 |
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年 | 40篇 |
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篇 |
排序方式: 共有911条查询结果,搜索用时 31 毫秒
781.
Mary M. Garrett 《Argumentation》1997,11(2):195-209
From about the fourth to the tenth century Buddhist monks in China engaged in formal, semi-public, religious disputation. I describe the Indian origins of this disputation and outline its settings, procedures, and functions. I then propose that this disputation put its participants at risk of performative contradiction with Buddhist tenets about language and salvation, and I illustrate how some chinese Buddhists attempted to transcend these contradictions, subverting disputation through creative linguistic and extra- linguistic strategies. 相似文献
782.
Situationist Deontic Logic 总被引:4,自引:0,他引:4
783.
The Genesis of Possible Worlds Semantics 总被引:1,自引:0,他引:1
This article traces the development of possible worlds semantics through the work of: Wittgenstein, 1913–1921; Feys, 1924; McKinsey, 1945; Carnap, 1945–1947; McKinsey, Tarski and Jónsson, 1947–1952; von Wright, 1951; Becker, 1952; Prior, 1953–1954; Montague, 1955; Meredith and Prior, 1956; Geach, 1960; Smiley, 1955–1957; Kanger, 1957; Hintikka, 1957; Guillaume, 1958; Binkley, 1958; Bayart, 1958–1959; Drake, 1959–1961; Kripke, 1958–1965. 相似文献
784.
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. 相似文献
785.
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. 相似文献
786.
人格特质与认知操作关系的初步研究 总被引:5,自引:0,他引:5
本研究采用NEO PI R测试 ,以逻辑推理为认知操作指标 ,初步考察了人格特质与大学生认知操作的关系。结果表明 :①神经质、外倾性与逻辑推理有显著负相关 ,开放性则与之呈正相关 ;②人格特质和认知操作关系的偏相关分析与相关分析的结果基本一致 ;③多元逐步回归分析显示 ,外倾性与逻辑推理有负性预测关系 ,开放性及严谨性则与逻辑推理有正性预测关系 ;④人格特质与认知操作的关系受操作难度、认知任务和兴趣类型等因素制约。 相似文献
787.
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. 相似文献
788.
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. 相似文献
789.
790.
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. 相似文献