全文获取类型
收费全文 | 385篇 |
免费 | 14篇 |
国内免费 | 43篇 |
专业分类
化学 | 49篇 |
晶体学 | 10篇 |
力学 | 10篇 |
综合类 | 4篇 |
数学 | 353篇 |
物理学 | 16篇 |
出版年
2024年 | 1篇 |
2023年 | 4篇 |
2022年 | 6篇 |
2021年 | 10篇 |
2020年 | 4篇 |
2019年 | 10篇 |
2018年 | 8篇 |
2017年 | 2篇 |
2016年 | 8篇 |
2015年 | 6篇 |
2014年 | 16篇 |
2013年 | 43篇 |
2012年 | 22篇 |
2011年 | 15篇 |
2010年 | 15篇 |
2009年 | 35篇 |
2008年 | 23篇 |
2007年 | 33篇 |
2006年 | 22篇 |
2005年 | 16篇 |
2004年 | 21篇 |
2003年 | 12篇 |
2002年 | 15篇 |
2001年 | 8篇 |
2000年 | 11篇 |
1999年 | 17篇 |
1998年 | 9篇 |
1997年 | 13篇 |
1996年 | 8篇 |
1995年 | 4篇 |
1994年 | 4篇 |
1993年 | 5篇 |
1992年 | 3篇 |
1991年 | 3篇 |
1989年 | 1篇 |
1988年 | 1篇 |
1986年 | 2篇 |
1983年 | 1篇 |
1980年 | 2篇 |
1978年 | 2篇 |
1973年 | 1篇 |
排序方式: 共有442条查询结果,搜索用时 15 毫秒
441.
《Annals of Pure and Applied Logic》2023,174(10):103346
We extend the main result of [1] to the first-order intuitionistic logic (with and without equality), showing that it is a maximal (with respect to expressive power) abstract logic satisfying a certain form of compactness, the Tarski union property and preservation under asimulations. A similar result is also shown for the intuitionistic logic of constant domains. 相似文献
442.
《Journal of Pure and Applied Algebra》2024,228(2):107415
We extend Lawvere-Pitts prop-categories (aka. hyperdoctrines) to develop a general framework for providing fibered algebraic semantics for general first-order logics. This framework includes a natural notion of substitution, which allows first-order logics to be considered as structural closure operators just as propositional logics are in abstract algebraic logic. We then establish an extension of the homomorphism theorem from universal algebra for generalized prop-categories and characterize two natural closure operators on the prop-categorical semantics. The first closes a class of structures (which are interpreted as morphisms of prop-categories) under the satisfaction of their common first-order theory and the second closes a class of prop-categories under their associated first-order consequence. It turns out that these closure operators have characterizations that closely mirror Birkhoff's characterization of the closure of a class of algebras under the satisfaction of their common equational theory and Blok and Jónsson's characterization of closure under equational consequence, respectively. These algebraic characterizations of the first-order closure operators are unique to the prop-categorical semantics. They do not have analogues, for example, in the Tarskian semantics for classical first-order logic. The prop-categories we consider are much more general than traditional intuitionistic prop-categories or triposes (i.e., topos representing indexed partially ordered sets). Nonetheless, to the best of our knowledge, our results are new, even when restricted to these special classes of prop-categories. 相似文献