全文获取类型
收费全文 | 402篇 |
免费 | 19篇 |
国内免费 | 23篇 |
出版年
2023年 | 5篇 |
2022年 | 2篇 |
2021年 | 9篇 |
2020年 | 10篇 |
2019年 | 10篇 |
2018年 | 20篇 |
2017年 | 17篇 |
2016年 | 15篇 |
2015年 | 23篇 |
2014年 | 14篇 |
2013年 | 94篇 |
2012年 | 3篇 |
2011年 | 7篇 |
2010年 | 2篇 |
2009年 | 15篇 |
2008年 | 21篇 |
2007年 | 20篇 |
2006年 | 18篇 |
2005年 | 17篇 |
2004年 | 14篇 |
2003年 | 19篇 |
2002年 | 14篇 |
2001年 | 13篇 |
2000年 | 17篇 |
1999年 | 14篇 |
1998年 | 5篇 |
1997年 | 11篇 |
1996年 | 6篇 |
1995年 | 4篇 |
1994年 | 2篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1988年 | 1篇 |
排序方式: 共有444条查询结果,搜索用时 15 毫秒
101.
In so-called Kripke-type models, each sentence is assigned either to true or to false at each possible world. In this setting, every possible world has the two-valued Boolean algebra as the set of truth values. Instead, we take a collection of algebras each of which is attached to a world as the set of truth values at the world, and obtain an extended semantics based on the traditional Kripke-type semantics, which we call here the algebraic Kripke semantics. We introduce algebraic Kripke sheaf semantics for super-intuitionistic and modal predicate logics, and discuss some basic properties. We can state the Gödel-McKinsey-Tarski translation theorem within this semantics. Further, we show new results on super-intuitionistic predicate logics. We prove that there exists a continuum of super-intuitionistic predicate logics each of which has both of the disjunction and existence properties and moreover the same propositional fragment as the intuitionistic logic. 相似文献
102.
Linguistics, Logic and Finite Trees 总被引:3,自引:0,他引:3
103.
The relevant modal logic G is a simple extension of the logic RT, the relevant counterpart of the familiar classically based system T. Using the Routley–Meyer semantics for relevant modal logics, this paper proves three main results regarding G: (i) G is semantically complete, but only with a non-standard interpretation of necessity. From this, however, other nice properties follow. (ii) With a standard interpretation of necessity, G is semantically incomplete; there is no class of frames that characterizes G. (iii) The class of frames for G characterizes the classically based logic T. 相似文献
104.
Gómez-Lobo A 《Theoretical medicine and bioethics》2005,26(2):105-110
In order to understand the nature of human embryos I first distinguish between active and passive potentiality, and then argue that the former is found in human gametes and embryos (even in embryos in vitro that may fail to be implanted) because they all have an indwelling power or capacity to initiate certain changes. Implantation provides necessary conditions for the actualization of that prior, active potentiality. This does not imply that embryos are potential persons that do not deserve the same respect as actual persons. To claim that embryos become persons is to understand the predicate person as a phase sortal, roughly equivalent to adult person. This entails that we would not be essentially persons. In order to explain the traditional understanding of person as a proper sortal rather than a phase sortal, the author distinguishes between proximate and remote potentiality, and shows that, unlike feline embryos, human embryos, by their genetic constitution, possess the remote potentiality to later exercise the typically human activities. It follows that they are already persons essentially. 相似文献
105.
What's different in second-language processing? Evidence from event-related brain potentials 总被引:1,自引:0,他引:1
Hahne A 《Journal of psycholinguistic research》2001,30(3):251-266
German sentences which were either correct, contained a selectional restriction violation, or a word category violation were presented auditorily to 16 native speakers of German (L1 group) and to 16 native speakers of Russian, who had learned German after the age of 10 (L2 group). Semantic violations elicited an N400 effect for both groups, but with a reduced amplitude and a longer peak latency in the L2 group. Compared to correct sentences, sentences with a phrase structure violation elicited an early anterior negativity followed by a broad centro-parietal positivity in native speakers. By contrast, there was no differential modulation of the early anterior negativity in the L2 group. A late positivity was also elicited in the second language learners, but it was slightly delayed compared to that shown by native speakers. This pattern is discussed in terms of different degrees of automaticity with respect to the subprocesses involved in sentence comprehension. 相似文献
106.
The addition of actually operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing actually operators has concentrated entirely upon extensions of KT5 and has employed a particular model-theoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing actually operators, the weakest of which are conservative extensions of K, using a novel generalisation of the standard semantics. 相似文献
107.
This is the second part of a paper dealing with truth and translation. In Part A a revised version of Tarski's Convention T has been presented, which explicitly refers to a translation mapping from the object language to the metalanguage; the vague notion of a translation has been replaced by a precise definition. At the end of Part A it has been shown that interpreted languages exist, which allow for vicious self-reference but which nevertheless contain their own truth predicate – this is possible if truth is based on a nonstandard translation mapping. However, this result has only been proved for languages without quantifiers. In Part B we now extend the result to first-order languages, and we show that this can be done in three different ways. In each case, the addition of a truth predicate to an interpreted language with a high degree of expressiveness leads to changes in the ontology of the language. 相似文献
108.
Sebastiaan A. Terwijn 《Studia Logica》2007,85(3):319-332
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive
logic and the Medvedev lattice. We show that while the new semantics is still complete, it gives a simple and direct correspondence
between Kripke models and algebraic structures such as factors of the Medvedev lattice.
Presented by Daniele Mundici 相似文献
109.
There has been considerable work on practical reasoning in artificial intelligence and also in philosophy. Typically, such
reasoning includes premises regarding means–end relations. A clear semantics for such relations is needed in order to evaluate
proposed syllogisms. In this paper, we provide a formal semantics for means–end relations, in particular for necessary and
sufficient means–end relations. Our semantics includes a non-monotonic conditional operator, so that related practical reasoning
is naturally defeasible. This work is primarily an exercise in conceptual analysis, aimed at clarifying and eventually evaluating
existing theories of practical reasoning (pending a similar analysis regarding desires, intentions and other relevant concepts).
“They were in conversation without speaking. They didn’t need to speak. They just changed reality so that they had spoken.”
Terry Pratchett, Reaper Man 相似文献
110.
Sortal predicates have been associated with a counting process, which acts as a criterion of identity for the individuals
they correctly apply to. We discuss in what sense certain types of predicates suggested by quantum physics deserve the title
of ‘sortal’ as well, although they do not characterize either a process of counting or a criterion of identity for the entities
that fall under them. We call such predicates ‘quantum-sortal predicates’ and, instead of a process of counting, to them is
associated a ‘criterion of cardinality’. After their general characterization, it is discussed how these predicates can be
formally described.
To Patrick Suppes on his 80th birthday. 相似文献