全文获取类型
收费全文 | 162篇 |
免费 | 2篇 |
国内免费 | 12篇 |
专业分类
化学 | 3篇 |
力学 | 1篇 |
综合类 | 3篇 |
数学 | 148篇 |
物理学 | 21篇 |
出版年
2023年 | 1篇 |
2022年 | 3篇 |
2021年 | 5篇 |
2020年 | 2篇 |
2019年 | 5篇 |
2018年 | 4篇 |
2017年 | 1篇 |
2016年 | 5篇 |
2015年 | 5篇 |
2014年 | 5篇 |
2013年 | 11篇 |
2012年 | 5篇 |
2011年 | 5篇 |
2010年 | 4篇 |
2009年 | 3篇 |
2008年 | 12篇 |
2007年 | 9篇 |
2006年 | 16篇 |
2005年 | 5篇 |
2004年 | 15篇 |
2003年 | 6篇 |
2002年 | 10篇 |
2001年 | 6篇 |
2000年 | 4篇 |
1999年 | 9篇 |
1998年 | 5篇 |
1997年 | 2篇 |
1996年 | 2篇 |
1995年 | 1篇 |
1994年 | 1篇 |
1993年 | 1篇 |
1992年 | 3篇 |
1987年 | 1篇 |
1985年 | 2篇 |
1981年 | 1篇 |
1980年 | 1篇 |
排序方式: 共有176条查询结果,搜索用时 0 毫秒
1.
A mistake concerning the ultra LI-ideal of a lattice implication algebra is pointed out, and some new sufficient and necessary conditions for an LI-ideal to be an ultra LI-ideal are given. Moreover, the notion of an LI-ideal is extended to MTL-algebras, the notions of a (prime, ultra, obstinate, Boolean) LI-ideal and an ILI-ideal of an MTL-algebra are introduced, some important examples are given, and the following notions are proved to be equivalent in MTL-algebra: (1) prime proper LI-ideal and Boolean LI-ideal, (2) prime proper LI-ideal and ILI-ideal, (3) proper obstinate LI-ideal, (4) ultra LI-ideal.
This work was supported by the Zhejiang Provincial Natural Science Foundation of China (Grant No. Y605389) and K. C. Wong
Magna Fund in Ningbo University. 相似文献
2.
In this paper a cubic lattice L(S) is endowed with a symmetric implication structure and it is proved that L(S) \ {0} is a power of the three-element simple symmetric implication algebra. The Metropolis–Rota’s symmetries are obtained as partial terms in the language of symmetric implication algebras. 相似文献
3.
Dolph Ulrich 《Mathematical Logic Quarterly》1992,38(1):321-323
C5.ω is obtained by adding, schematically, to the strict-implicational fragment C5 of S5 the axiom ((p → q) → (q → p)) → (q → p). This paper presents a fully general proof that neither C5.ω nor any of a descending chain of its extensions is complete with respect to any class of frames, correcting the garbled details of a version skeched in an earlier paper (same Zeitschrift 31 (1985), 201-208). 相似文献
4.
The reference [4] proved the consistency of S1 and S2 among Lewis' five strict implication systems in the modal logic by using the method of the Boolean-valued model. But, in this method, the consistency of S3, S4 and S5 in Lewis' five strict implication systems is not decided. This paper makes use of the properties: (1) the equivalence of the modal systems S3 and P3, S4 and P4; (2) the modal systems P3 and P4 all contained the modal axiom T(□p → p); (3) the modal axiom T is correspondence to the reflexive property in VB. Hence, the paper proves: (a) ‖As31‖ = 1; (b) ‖AS41‖ = 1; (c) ‖AS5l‖ = 1 in the model (where B is a complete Boolean algebra, R is reflexive property in VB). Therefore, the paper finally proves that the Boolean-valued model VB of the ZFC axiom system in set theory is also a Boolean-valued model of Lewis' the strict implication system S3, S4 and S5. 相似文献
5.
Jānis Cīrulis 《Central European Journal of Mathematics》2007,5(2):264-279
The infimum of elements a and b of a Hilbert algebra are said to be the compatible meet of a and b, if the elements a and b are compatible in a certain strict sense. The subject of the paper will be Hilbert algebras equipped with the compatible meet operation, which normally is partial. A partial lower semilattice is shown to be a reduct of such an expanded Hilbert algebra i ?both algebras have the same ?lters.An expanded Hilbert algebra is actually an implicative partial semilattice (i.e., a relative subalgebra of an implicative semilattice),and conversely.The implication in an implicative partial semilattice is characterised in terms of ?lters of the underlying partial semilattice. 相似文献
6.
7.
《Indagationes Mathematicae》2022,33(3):682-717
Motivated by a search for Lie group structures on groups of Poisson diffeomorphisms, we investigate linearizability of Poisson structures of Poisson groupoids around the unit section. After extending the Lagrangian neighbourhood theorem to the setting of cosymplectic Lie algebroids, we establish that dual integrations of triangular bialgebroids are always linearizable. Additionally, we show that the (non-dual) integration of a triangular Lie bialgebroid is linearizable whenever the -matrix is of so-called cosymplectic type. The proof relies on the integration of a triangular Lie bialgebroid to a symplectic LA-groupoid, and in the process we define interesting new examples of double Lie algebroids and LA-groupoids. We also show that the product Poisson groupoid can only be linearizable when the Poisson structure on the unit space is regular. 相似文献
8.
We define the “localized index” of longitudinal elliptic operators on Lie groupoids associated with Lie algebroid cohomology classes. We derive a topological expression for these numbers using the algebraic index theorem for Poisson manifolds on the dual of the Lie algebroid. Underlying the definition and computation of the localized index, is an action of the Hopf algebroid of jets around the unit space, and the characteristic map it induces on Lie algebroid cohomology. This map can be globalized to differentiable groupoid cohomology, giving a definition of the “global index”, that can be computed by localization. This correspondence between the “global” and “localized” index is given by the van Est map for Lie groupoids. 相似文献
9.
Pierre-yves Le Gall 《K-Theory》1999,16(4):361-390
Let
be a locally compact topological groupoid, A and B two C*-algebras endowed with a continuous action of
. We define an operator K-theory group K K
(A,B). We describe two basic properties of this theory: the existence of a Kasparov product and functoriality with respect to groupoid cocycles. 相似文献
10.
Marius Crainic 《K-Theory》1999,17(4):319-362
We give a general method for computing the cyclic cohomology of crossed products by étale groupoids, extending the Feigin–Tsygan–Nistor spectral sequences. In particular we extend the computations performed by Brylinski, Burghelea, Connes, Feigin, Karoubi, Nistor, and Tsygan for the convolution algebra C
c
(G) of an étale groupoid, removing the Hausdorffness condition and including the computation of hyperbolic components. Examples like group actions on manifolds and foliations are considered. 相似文献