全文获取类型
收费全文 | 930篇 |
免费 | 20篇 |
国内免费 | 3篇 |
专业分类
953篇 |
出版年
2024年 | 1篇 |
2023年 | 4篇 |
2022年 | 5篇 |
2021年 | 3篇 |
2020年 | 12篇 |
2019年 | 10篇 |
2018年 | 5篇 |
2017年 | 6篇 |
2016年 | 32篇 |
2015年 | 10篇 |
2014年 | 21篇 |
2013年 | 45篇 |
2012年 | 5篇 |
2011年 | 5篇 |
2010年 | 9篇 |
2009年 | 46篇 |
2008年 | 72篇 |
2007年 | 71篇 |
2006年 | 58篇 |
2005年 | 71篇 |
2004年 | 57篇 |
2003年 | 58篇 |
2002年 | 58篇 |
2001年 | 43篇 |
2000年 | 63篇 |
1999年 | 40篇 |
1998年 | 36篇 |
1997年 | 34篇 |
1996年 | 22篇 |
1995年 | 20篇 |
1994年 | 5篇 |
1993年 | 3篇 |
1992年 | 4篇 |
1991年 | 3篇 |
1990年 | 4篇 |
1989年 | 3篇 |
1988年 | 6篇 |
1987年 | 3篇 |
排序方式: 共有953条查询结果,搜索用时 0 毫秒
41.
On Some Varieties of MTL-algebras 总被引:1,自引:0,他引:1
42.
The Hybrid Logic of Linear Set Spaces 总被引:1,自引:0,他引:1
43.
Relevant logic is a proper subset of classical logic. It does not include among its theorems any ofpositive paradox A (B A)mingle A (A A)linear order (A B) (B A)unrelated extremes (A ) (B B¯)This article shows that those four formulas have different effects when added to relevant logic, and then lists many formulas that have the same effect as positive paradox or mingle. 相似文献
44.
Algebras of Intervals and a Logic of Conditional Assertions 总被引:1,自引:0,他引:1
Intervals in boolean algebras enter into the study of conditional assertions (or events) in two ways: directly, either from intuitive arguments or from Goodman, Nguyen and Walker's representation theorem, as suitable mathematical entities to bear conditional probabilities, or indirectly, via a representation theorem for the family of algebras associated with de Finetti's three-valued logic of conditional assertions/events. Further representation theorems forge a connection with rough sets. The representation theorems and an equivalent of the boolean prime ideal theorem yield an algebraic completeness theorem for the three-valued logic. This in turn leads to a Henkin-style completeness theorem. Adequacy with respect to a family of Kripke models for de Finetti's logic, ukasiewicz's three-valued logic and Priest's Logic of Paradox is demonstrated. The extension to first-order yields a short proof of adequacy for Körner's logic of inexact predicates. 相似文献
45.
Two logics L1 and L2 are negatively equivalent if for any set of formulas X and any negated formula ¬, ¬ can be deduced from the set of hypotheses X in L1 if and only if it can be done in L2. This article is devoted to the investigation of negative equivalence relation in the class of extensions of minimal logic.The author acknowledges support by the Alexander von Humboldt-StiftungPresented by Jacek Malinowski 相似文献
46.
This paper considers a new class of agent dynamic logics which provide a formal means of specifying and reasoning about the agents activities and informational, motivational and practical aspects of the behaviour of the agents. We present a Hilbert-style deductive system for a basic agent dynamic logic and consider a number of extensions of this logic with axiom schemata formalising interactions between knowledge and commitment (expressing an agent s awareness of her commitments), and interactions between knowledge and actions (expressing no learning and persistence of knowledge after actions). The deductive systems are proved sound and complete with respect to a Kripke-style semantics. Each of the considered logics is shown to have the small model property and therefore decidable.Presented by Ewa Orlowska 相似文献
47.
The paper discusses the similarity between geometry, arithmetic, and logic, specifically with respect to the question of whether applied theories of each may be revised. It argues that they can - even when the revised logic is a paraconsistent one, or the revised arithmetic is an inconsistent one. Indeed, in the case of logic, it argues that logic is not only revisable, but, during its history, it has been revised. The paper also discusses Quine's well known argument against the possibility of logical deviancy. 相似文献
48.
Metalogical properties that have traditionally been studied in the deductive system context (see, e.g., [21]) and transferred later to the institution context [33], are here formulated in the -institution context. Preservation under deductive equivalence of -institutions is investigated. If a property is known to hold in all algebraic -institutions and is preserved under deductive equivalence, then it follows that it holds in all algebraizable -institutions in the sense of [36]. 相似文献
49.
This essay explores the role of informal logicand its application in the context of currentdebates regarding evidence-based medicine. This aim is achieved through a discussion ofthe goals and objectives of evidence-basedmedicine and a review of the criticisms raisedagainst evidence-based medicine. Thecontributions to informal logic by StephenToulmin and Douglas Walton are explicated andtheir relevance for evidence-based medicine isdiscussed in relation to a common clinicalscenario: hypertension management. This essayconcludes with a discussion on the relationshipbetween clinical reasoning, rationality, andevidence. It is argued that informal logic hasthe virtue of bringing explicitness to the roleof evidence in clinical reasoning, and bringssensitivity to understanding the role ofdialogical context in the need for evidence inclinical decision making. 相似文献
50.
Paraconsistent logic is an area of philosophical logic that has yet to find acceptance from a wider audience. The area remains, in a word, disreputable. In this essay, we try to reassure potential consumers that it is not necessary to become a radical in order to use paraconsistent logic. According to the radicals, the problem is the absurd classical account of contradiction: Classically inconsistent sets explode only because bourgeois classical semantics holds, in the face of overwhelming evidence to the contrary, that both A and A cannot simultaneously be true! We suggest (more modestly) that there is, at least sometimes, something else worth preserving, even in an inconsistent, unsatisfiable premise set. In this paper we present, in a new guise, a very general version of this preservationist approach to paraconsistency. 相似文献