全文获取类型
收费全文 | 305篇 |
免费 | 13篇 |
国内免费 | 10篇 |
出版年
2023年 | 3篇 |
2022年 | 1篇 |
2021年 | 7篇 |
2020年 | 6篇 |
2019年 | 8篇 |
2018年 | 14篇 |
2017年 | 5篇 |
2016年 | 9篇 |
2015年 | 9篇 |
2014年 | 8篇 |
2013年 | 25篇 |
2012年 | 3篇 |
2011年 | 4篇 |
2010年 | 2篇 |
2009年 | 14篇 |
2008年 | 23篇 |
2007年 | 15篇 |
2006年 | 19篇 |
2005年 | 16篇 |
2004年 | 15篇 |
2003年 | 15篇 |
2002年 | 14篇 |
2001年 | 17篇 |
2000年 | 25篇 |
1999年 | 15篇 |
1998年 | 10篇 |
1997年 | 15篇 |
1996年 | 5篇 |
1995年 | 3篇 |
1994年 | 1篇 |
1993年 | 1篇 |
1988年 | 1篇 |
排序方式: 共有328条查询结果,搜索用时 15 毫秒
51.
Sato Kentaro 《Studia Logica》2008,88(2):295-324
We study filters in residuated structures that are associated with congruence relations (which we call -filters), and develop a semantical theory for general substructural logics based on the notion of primeness for those filters.
We first generalize Stone’s sheaf representation theorem to general substructural logics and then define the primeness of
-filters as being “points” (or stalkers) of the space, the spectrum, on which the representing sheaf is defined. Prime FL-filters
will turn out to coincide with truth sets under various well known semantics for certain substructural logics. We also investigate
which structural rules are needed to interpret each connective in terms of prime -filters in the same way as in Kripke or Routley-Meyer semantics. We may consider that the set of the structural rules that
each connective needs in this sense reflects the difficulty of giving the meaning of the connective. A surprising discovery
is that connectives , ⅋ of linear logic are linearly ordered in terms of the difficulty in this sense.
Presented by Wojciech Buszkowski 相似文献
52.
文章在扩展博弈上,给出了多值逻辑的语义赋值博弈的一般框架,避免了博弈者在多值逻辑的语义博弈中声明无穷对象的问题;然后通过Eloise赢的策略定义博弈的语义概念——赋值,证明了多值逻辑的博弈语义与Tarski语义是等价的;最后,根据语义赋值博弈框架对经典逻辑进行了博弈化。 相似文献
53.
The logic BKc1 is the basic constructive logic in the ternaryrelational semantics (without a set of designated points) adequateto consistency understood as the absence of the negation ofany theorem. Negation is introduced in BKc1 with a negationconnective. The aim of this paper is to define the logic BKc1F.In this logic negation is introduced via a propositional falsityconstant. We prove that BKc1 and BKc1F are definitionally equivalent. 相似文献
54.
J. L. Dowell 《Philosophical Studies》2008,140(1):19-46
Frank Jackson has argued that only if we have a priori knowledge of the extension-fixers for many of our terms can we vindicate
the methodological practice of relying on intuitions to decide between philosophical theories. While there has been much discussion
of Jackson’s claim that we have such knowledge, there has been comparatively little discussion of this most powerful argument
for that claim. Here I defend an alternative explanation of our intuitions about possible cases, one that does not rely on
a priori extension-fixers. This alternative explanation provides a vindication of our reliance on intuitions, while blocking
Jackson’s abductive argument for a priori semantic knowledge. In brief, I argue that we should regard our armchair intuitions
as providing an important, a priori source of evidence for hypotheses about the contents of our implicit referential policies
with regard to our terms. But all such hypotheses have a potential falsifier that is only discoverable empirically. In other
words, gold-standard evidence for such hypotheses is always empirical.
相似文献
J. L. DowellEmail: |
55.
Martin Tak
《Cognitive Systems Research》2008,9(4):293-311
This article presents a synthetic modeling approach to the problem of grounded construction of concepts. In many computational models of grounded language acquisition and evolution, meanings are created in the process of discrimination between a chosen object and other objects present on the scene of communication. We argue that categories constructed for the purpose of identification rather than discrimination are more suitable for the detached language use (talking about things not present here and now). We describe a semantics based on so-called identification criteria constructed by extracting cross-situational similarities among instances of a category, and present several computational models. In the model of individual category construction, the instances are grouped to categories by common motor programs (affordances), while in the model of social learning, focused on the influence of naming on category formation, entities are considered members of the same category, if they are labeled with the same word by an external teacher. By these two mechanisms, the learner can construct interactionally grounded representation of objects, properties, relations, changes, complex situations and events. We also report and analyze simulation results of an experiment focused on the dynamics of meanings in iterated intergenerational transmission. 相似文献
56.
57.
The paper defends a combination of perdurantism with mereological universalism by developing semantics of temporary predications
of the sort ’some P is/was/will be (a) Q’. We argue that, in addition to the usual application of causal and other restrictions
on sortals, the grammatical form of such statements allows for rather different regimentations along three separate dimensions,
according to: (a) whether ‘P’ and ‘Q’ are being used as phase or substance sortal terms, (b) whether ‘is’, ‘was’, and ‘will
be’ are the ‘is’, ‘was’, ‘will be’ of identity or of constitution, and (c) whether ‘Q’ is being used as a subject or predicate
term. We conclude that this latitude is beneficial, as it conforms with linguistic reality (i.e., the multiple uses actually
in place) and also enables one to turn what is ordinarily perceived as a problem for universalist perdurantism viz., a commitment
to all sorts of weird and gerrymandered temporally extended entities, into an advantage, for the richness in questions allows
us to make sense of the many different readings of sentences of the same grammatical form. 相似文献
58.
Dimiter Vakarelov 《Studia Logica》2006,84(1):105-127
The paper is devoted to the contributions of Helena Rasiowa to the theory of non-classical negation. The main results of Rasiowa in this area concerns–constructive logic with strong (Nelson) negation,–intuitionistic negation and some of its generalizations: minimal negation of Johansson and semi-negation.We discuss also the impact of Rasiowa works on the theory of non-classical negation.A lecture presented at the International Conference Trends in Logic III : A. Mostowski, H. Rasiowa and C. Rauszer in memoriam, Warsaw, Ruciane-Nida September 23-26, 2005. 相似文献
59.
60.
Martin Smith 《Journal of Philosophical Logic》2007,36(1):97-121
Our understanding of subjunctive conditionals has been greatly enhanced through the use of possible world semantics and, more
precisely, by the idea that they involve variably strict quantification over possible worlds. I propose to extend this treatment
to ceteris paribus conditionals – that is, conditionals that incorporate a ceteris paribus or ‘other things being equal’ clause. Although such conditionals
are commonly invoked in scientific theorising, they traditionally arouse suspicion and apprehensiveness amongst philosophers.
By treating ceteris paribus conditionals as a species of variably strict conditional I hope to shed new light upon their content
and their logic. 相似文献