全文获取类型
收费全文 | 907篇 |
免费 | 15篇 |
国内免费 | 3篇 |
专业分类
925篇 |
出版年
2023年 | 4篇 |
2022年 | 5篇 |
2021年 | 3篇 |
2020年 | 12篇 |
2019年 | 9篇 |
2018年 | 5篇 |
2017年 | 5篇 |
2016年 | 30篇 |
2015年 | 9篇 |
2014年 | 19篇 |
2013年 | 42篇 |
2012年 | 5篇 |
2011年 | 5篇 |
2010年 | 9篇 |
2009年 | 45篇 |
2008年 | 71篇 |
2007年 | 72篇 |
2006年 | 57篇 |
2005年 | 71篇 |
2004年 | 55篇 |
2003年 | 57篇 |
2002年 | 58篇 |
2001年 | 42篇 |
2000年 | 58篇 |
1999年 | 38篇 |
1998年 | 32篇 |
1997年 | 36篇 |
1996年 | 21篇 |
1995年 | 20篇 |
1994年 | 5篇 |
1993年 | 3篇 |
1992年 | 3篇 |
1991年 | 3篇 |
1990年 | 4篇 |
1989年 | 3篇 |
1988年 | 6篇 |
1987年 | 3篇 |
排序方式: 共有925条查询结果,搜索用时 0 毫秒
241.
We investigate the class of strongly distributive pregroups, a common abstraction of MV-algebras and Abelian l-groups which was introduced by E.Casari. The main result of the paper is a representation theorem which yields both Chang's representation of MV-algebras and Clifford's representation of Abelian l-groups as immediate corollaries. 相似文献
242.
This paper describes the adaptive logic of compatibility and its dynamic proof theory. The results derive from insights in inconsistency-adaptive logic, but are themselves very simple and philosophically unobjectionable. In the absence of a positive test, dynamic proof theories lead, in the long run, to correct results and, in the short run, sometimes to final decisions but always to sensible estimates. The paper contains a new and natural kind of semantics for S5from which it follows that a specific subset of the standard worlds-models is characteristic for S5. 相似文献
243.
《Psychologie du Travail et des Organisations》2020,26(1):45-55
This text aims to show the continuing interest in using the “canonical” method of investigation in work psychodynamics in the context of what is commonly called the managerial turning point. In order to demonstrate this methodology, the authors will rely on a survey conducted in a U.M.R of science called “hard science” following a recommendation of the Agency for evaluation of research and higher education. We will raise the impact of this intervention, allowing participants to think about their work relationship and the necessary modalities in order to do it continuously well, within the managerial logic context. 相似文献
244.
In this note we show that the classical modal technology of Sahlqvist formulas gives quick proofs of the completeness theorems in [8] (D. Gregory, Completeness and decidability results for some propositional modal logics containing actually operators, Journal of Philosophical Logic 30(1): 57–78, 2001) and vastly generalizes them. Moreover, as a corollary, interpolation theorems for the logics considered in [8] are obtained. We then compare Gregory's modal language enriched with an actually operator with the work of Arthur Prior now known under the name of hybrid logic. This analysis relates the actually axioms to standard hybrid axioms, yields the decidability results in [8], and provides a number of complexity results. Finally, we use a bisimulation argument to show that the hybrid language is strictly more expressive than Gregory's language. 相似文献
245.
246.
247.
248.
We consider the problem of axiomatizing various natural successor logics for 2-dimensional integral spacetime. We provide axiomatizations in monomodal and multimodal languages, and prove completeness theorems. We also establish that the irreflexive successor logic in the standard modal language (i.e. the language containing and ) is not finitely axiomatizable. 相似文献
249.
We attempt to define the classical propositional logic by use of appropriate derivability conditions called Cn-definitions. The conditions characterize basic properties of propositional connectives. 相似文献
250.
Max A. Freund 《Studia Logica》2001,69(3):351-380
With the past and future tense propositional operators in its syntax, a formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. A completeness proof for the system is constructed and its absolute consistency proved. The completeness proof is given relative to a notion of logical validity provided by an intensional semantic system, which assumes an approach to sortals from a modern form of conceptualism. 相似文献