全文获取类型
收费全文 | 896篇 |
免费 | 15篇 |
国内免费 | 2篇 |
出版年
2023年 | 1篇 |
2022年 | 2篇 |
2021年 | 3篇 |
2020年 | 11篇 |
2019年 | 9篇 |
2018年 | 5篇 |
2017年 | 4篇 |
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年 | 59篇 |
2001年 | 39篇 |
2000年 | 59篇 |
1999年 | 38篇 |
1998年 | 32篇 |
1997年 | 33篇 |
1996年 | 21篇 |
1995年 | 20篇 |
1994年 | 5篇 |
1993年 | 3篇 |
1992年 | 3篇 |
1991年 | 3篇 |
1990年 | 4篇 |
1989年 | 3篇 |
1988年 | 6篇 |
1987年 | 3篇 |
排序方式: 共有913条查询结果,搜索用时 15 毫秒
771.
A certain type of inference rules in (multi-) modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved. 相似文献
772.
Jürgen Schröder 《Journal for General Philosophy of Science》1997,28(2):385-388
Does Physicalism lead to absurd results? Franz von Kutschera argued in his book ?Grundfragender Erkenntnistheorie” that the weakest version of physicalism, i. e. the thesis that physical facts determine all the facts there are, leads to the absurd result that events in a remote future determine the present brain states of a person. It is shown that the argument is flawed in several respects and that the absurd result is not a consequence of physicalism but of an auxiliary premiss of Kutschera's. 相似文献
773.
Mary M. Garrett 《Argumentation》1997,11(2):195-209
From about the fourth to the tenth century Buddhist monks in China engaged in formal, semi-public, religious disputation. I describe the Indian origins of this disputation and outline its settings, procedures, and functions. I then propose that this disputation put its participants at risk of performative contradiction with Buddhist tenets about language and salvation, and I illustrate how some chinese Buddhists attempted to transcend these contradictions, subverting disputation through creative linguistic and extra- linguistic strategies. 相似文献
774.
Situationist Deontic Logic 总被引:4,自引:0,他引:4
775.
Combining non-classical (or sub-classical) logics is not easy, but it is very interesting. In this paper, we combine nonclassical logics of negation and possibility (in the presence of conjunction and disjunction), and then we combine the resulting systems with intuitionistic logic. We will find that Kracht's results on the undecidability of classical modal logics generalise to a non-classical setting. We will also see conditions under which intuitionistic logic can be combined with a non-intuitionistic negation without corrupting the intuitionistic fragment of the logic. 相似文献
776.
Michael Zakharyaschev 《Studia Logica》1997,59(3):345-358
This paper gives a characterization of those quasi-normal extensions of the modal system S4 into which intuitionistic propositional logic Int is embeddable by the Gödel translation. It is shown that, as in the normal case, the set of quasi-normal modal companions of Int contains the greatest logic, M*, for which, however, the analog of the Blok-Esakia theorem does not hold. M* is proved to be decidable and Halldén-complete; it has the disjunction property but does not have the finite model property. 相似文献
777.
Seiki Akama 《Journal of Philosophical Logic》1996,25(2):135-150
We propose contractionless constructive logic which is obtained from Nelson's constructive logic by deleting contractions. We discuss the consistency of a naive set theory based on the proposed logic in relation to Curry's paradox. The philosophical significance of contractionless constructive logic is also argued in comparison with Fitch's and Prawitz's systems. 相似文献
778.
The paper discusses the potential value of a deontic approach to database specification. More specifically, some different types of integrity constraints are considered and a distinction is drawn between necessary (hard) and deontic (soft) constraints.Databases are compared with other normative systems. A deontic logic for database specification is proposed and the problems of how to react to, and of how to correct, or repair, a situation which arises through norm violation are discussed in the context of this logic. The limitations of the proposed logic and possible modifications and extensions of it are analysed. 相似文献
779.
Mark Reynolds 《Studia Logica》1996,57(2-3):279-302
We present an axiomatisation for the first-order temporal logic with connectives Until and Since over the class of all linear flows of time. Completeness of the axiom system is proved.We also add a few axioms to find a sound and complete axiomatisation for the first order temporal logic of Until and Since over rational numbers time.The author would like to thank Dov Gabbay and Ian Hodkinson for helpful discussions on this material. The work was supported by the U.K. Science and Engineering Research Council under the Metatem project (GR/F/28526).Presented by Dov Gabbay 相似文献
780.
Gert -Jan C. Lokhorst 《Studia Logica》1996,57(1):221-237
We describe a new way in which theories about the deontic status of actions can be represented in terms of the standard two-sorted first-order extensional predicate calculus. Some of the resulting formal theories are easy to implement in Prolog; one prototype implementation—R. M. Lee's deontic expert shell DX—is briefly described.This research was partially supported by the Esprit III Basic Research Working Group No. 8319 ModelAge. 相似文献