全文获取类型
收费全文 | 99篇 |
免费 | 1篇 |
国内免费 | 1篇 |
专业分类
化学 | 3篇 |
力学 | 2篇 |
综合类 | 2篇 |
数学 | 89篇 |
物理学 | 5篇 |
出版年
2022年 | 11篇 |
2021年 | 2篇 |
2020年 | 3篇 |
2019年 | 8篇 |
2018年 | 3篇 |
2016年 | 3篇 |
2015年 | 1篇 |
2014年 | 6篇 |
2012年 | 2篇 |
2011年 | 6篇 |
2009年 | 4篇 |
2008年 | 6篇 |
2007年 | 1篇 |
2006年 | 4篇 |
2005年 | 4篇 |
2004年 | 4篇 |
2003年 | 3篇 |
2002年 | 4篇 |
2001年 | 2篇 |
2000年 | 2篇 |
1999年 | 5篇 |
1998年 | 2篇 |
1997年 | 2篇 |
1996年 | 4篇 |
1995年 | 3篇 |
1992年 | 1篇 |
1981年 | 2篇 |
1980年 | 1篇 |
1979年 | 1篇 |
1968年 | 1篇 |
排序方式: 共有101条查询结果,搜索用时 0 毫秒
41.
Pierre—Louis Curien 《数学进展》2006,35(1):1-44
本文是《线性逻辑和态极逻辑引论》一文的第二部分。文章致力于证明网(第1节)和态极逻辑(第2,3,4和5节)证明网部分尽管局限于其积线性逻辑框架,但仍不失其重要性。线性逻辑和态极逻辑均为Girard所创建,近期所发展起来的态极逻辑旨在于进一步揭示计算和逻辑的基本交互作用的本质。我们希望本文能对这一新的理论带来一些计算机科学方面的启示。 相似文献
42.
Olufemi O. Oguntade 《Fuzzy Sets and Systems》1981,6(2):119-143
A philosophical formalism of a new methodological aspect of humanistic systems design and evaluation is given. A requisite concept of context-dependency is highlighted, and some approaches to fuzzy sets and linguistics subsequently extended. It is consequently shown that a mathematical theory of pragmatic fuzzy subsets is not only conceptually possible but practically implementable in man-machine studies as well. Thus, the important context-dependent implication of the subjective nature of Zadeh's theory of fuzzy sets can be better exploited.As a pragmatic theory, the approach here is a seeming connection between pragmatism and ontology, concepts that are traditionally diametrically opposed to each other. The attitude adopted has been the equation of pragmatism and psychophysical measurements of ontological objects (noumena). Pragmatism is tacitly defined as a form of empiricism whereby linguistic constructs (i.e., linguistic-variable denotions) that represent any aspect(s) of a humanistic system are nothing more than an operational procedure used to achieve psychophysical measurements of the aspect(s). In this fashion, pragmatism would enable the contents of assertions, which are made through declarative propositions, about humanistic systems to be deciphered within relevant contexts. For pragmatism, direct sense experience provides both the meaning and the criterion of reality judgements. The context-dependent nature of the physical reality of ontological entities is, therefore, better understood pragmatically vis-a-vis the appropriate evaluative criteria and interpretative conventions.By emphasizing the distinction between a fuzzy system (naturally fuzzified) and a fuzzified mathematical structure (meta-mathematically fuzzified), the use of the standard fuzzy topologies is justified although it is conceptually possible to develop a yet more general topology or perhaps an alternative one especially in the case of a meta-mathematically fuzzified structure. However, for the express purpose of machine implementation, a naturally fuzzified system, such as a (complex) humanistic system, is more amenable to an initial test of the philosophy of pragmatic fuzzy subsets. Consequently, the fuzzy topology and spaces employed are intended to be devoid of extensive generalities, in this instance. 相似文献
43.
The distribution semantics integrates logic programming and probability theory using a possible worlds approach. Its intuitiveness and simplicity have made it the most widely used semantics for probabilistic logic programming, with successful applications in many domains. When the program has function symbols, the semantics was defined for special cases: either the program has to be definite or the queries must have a finite number of finite explanations. In this paper we show that it is possible to define the semantics for all programs. We also show that this definition coincides with that of Sato and Kameya on positive programs. Moreover, we highlight possible approaches for inference, both exact and approximate. 相似文献
44.
45.
Yutaka Miyazaki 《Mathematical Logic Quarterly》2001,47(3):341-362
We present here a Kripke‐style semantics for propositional orthomodular logics that is based on the representation theorem for orthomodular lattices by D.J. Foulis ([2]), in which a sort of semigroups is employed. This semantics can characterize the logics above the orthomodular logic by some elementary conditions. 相似文献
46.
47.
48.
A bipolar model of assertability and belief 总被引:1,自引:0,他引:1
Jonathan Lawry Inés González-Rodríguez 《International Journal of Approximate Reasoning》2011,52(1):76-91
Valuation pairs are introduced as a bipolar model of the assertability of propositions. These correspond to a pair of dual valuation functions, respectively, representing the strong property of definite assertability and the dual weaker property of acceptable assertability. In the case where there is uncertainty about the correct valuation pair for a language then a probability distribution is defined on possible valuation pairs. This results in two measures, μ+ giving the probability that a sentence is definitely assertable, and μ− giving the probability that a sentence is acceptable to assert. It is shown that μ+ and μ− can be determined directly from a two dimensional mass function m defined on pairs of sets of propositional variables. Certain natural properties of μ+ and μ− are easily expressed in terms of m, and in particular we introduce certain consonance or nestedness assumptions. These capture qualitative information in the form of assertability orderings for both the propositional variables and the negated propositional variables. On the basis of these consonance assumptions we show that label semantics, intuitionistic fuzzy logic and max-min fuzzy logic can all be viewed as special cases of this bipolar model. We also show that bipolar belief measures can be interpreted within an interval-set model. 相似文献
49.
50.
Norihiro Kamide 《Mathematical Logic Quarterly》2005,51(4):331-341
A spatial modal logic (SML) is introduced as an extension of the modal logic S4 with the addition of certain spatial operators. A sound and complete Kripke semantics with a natural space (or location) interpretation is obtained for SML. The finite model property with respect to the semantics for SML and the cut‐elimination theorem for a modified subsystem of SML are also presented. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) 相似文献