全文获取类型
收费全文 | 896篇 |
免费 | 15篇 |
国内免费 | 2篇 |
出版年
2023年 | 1篇 |
2022年 | 2篇 |
2021年 | 3篇 |
2020年 | 11篇 |
2019年 | 9篇 |
2018年 | 5篇 |
2017年 | 4篇 |
2016年 | 30篇 |
2015年 | 10篇 |
2014年 | 19篇 |
2013年 | 43篇 |
2012年 | 5篇 |
2011年 | 5篇 |
2010年 | 9篇 |
2009年 | 45篇 |
2008年 | 71篇 |
2007年 | 71篇 |
2006年 | 57篇 |
2005年 | 71篇 |
2004年 | 55篇 |
2003年 | 58篇 |
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篇 |
排序方式: 共有913条查询结果,搜索用时 15 毫秒
781.
Michael Zakharyaschev 《Studia Logica》1997,59(3):345-358
This paper gives a characterization of those quasi-normal extensions of the modal system S4 into which intuitionistic propositional logic Int is embeddable by the Gödel translation. It is shown that, as in the normal case, the set of quasi-normal modal companions of Int contains the greatest logic, M*, for which, however, the analog of the Blok-Esakia theorem does not hold. M* is proved to be decidable and Halldén-complete; it has the disjunction property but does not have the finite model property. 相似文献
782.
Jürgen Schröder 《Journal for General Philosophy of Science》1997,28(2):385-388
Does Physicalism lead to absurd results? Franz von Kutschera argued in his book ?Grundfragender Erkenntnistheorie” that the weakest version of physicalism, i. e. the thesis that physical facts determine all the facts there are, leads to the absurd result that events in a remote future determine the present brain states of a person. It is shown that the argument is flawed in several respects and that the absurd result is not a consequence of physicalism but of an auxiliary premiss of Kutschera's. 相似文献
783.
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. 相似文献
784.
Situationist Deontic Logic 总被引:4,自引:0,他引:4
785.
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. 相似文献
786.
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. 相似文献
787.
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. 相似文献
788.
人格特质与认知操作关系的初步研究 总被引:5,自引:0,他引:5
本研究采用NEO PI R测试 ,以逻辑推理为认知操作指标 ,初步考察了人格特质与大学生认知操作的关系。结果表明 :①神经质、外倾性与逻辑推理有显著负相关 ,开放性则与之呈正相关 ;②人格特质和认知操作关系的偏相关分析与相关分析的结果基本一致 ;③多元逐步回归分析显示 ,外倾性与逻辑推理有负性预测关系 ,开放性及严谨性则与逻辑推理有正性预测关系 ;④人格特质与认知操作的关系受操作难度、认知任务和兴趣类型等因素制约。 相似文献
789.
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. 相似文献
790.
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. 相似文献