全文获取类型
收费全文 | 273篇 |
免费 | 5篇 |
国内免费 | 7篇 |
出版年
2023年 | 2篇 |
2021年 | 1篇 |
2020年 | 2篇 |
2019年 | 3篇 |
2018年 | 6篇 |
2017年 | 2篇 |
2016年 | 9篇 |
2015年 | 1篇 |
2014年 | 3篇 |
2013年 | 9篇 |
2012年 | 3篇 |
2011年 | 4篇 |
2010年 | 1篇 |
2009年 | 7篇 |
2008年 | 10篇 |
2007年 | 16篇 |
2006年 | 23篇 |
2005年 | 19篇 |
2004年 | 18篇 |
2003年 | 16篇 |
2002年 | 27篇 |
2001年 | 16篇 |
2000年 | 27篇 |
1999年 | 15篇 |
1998年 | 12篇 |
1997年 | 15篇 |
1996年 | 7篇 |
1995年 | 5篇 |
1994年 | 2篇 |
1993年 | 1篇 |
1989年 | 1篇 |
1985年 | 1篇 |
1981年 | 1篇 |
排序方式: 共有285条查询结果,搜索用时 46 毫秒
161.
后腹腔镜肾盂输尿管切开取石术34例临床体会 总被引:2,自引:1,他引:1
探讨后腹腔镜下肾孟、输尿管切开取石的技术要点和临床应用价值。回顾性分析34例后腹腔镜肾盂、输尿管切开取石术的临床质料。男22例,女12例,肾盂结石10例,输尿管结石24例。结果34例成功完成腹腔镜取石术,手术时间40min~90min,平均58min,术中出血10ml~30ml,术后1例漏尿3d,术后3d~5d拔除后腹... 相似文献
162.
Three-valued (strong-Kleene) modal logic provides the foundation for a new approach to formalizing causal explanation as a relation between partial situations. The approach makes fine-grained distinctions between aspects of events, even between aspects that are equivalent in classical logic. The framework can accommodate a variety of ontologies concerning the relata of causal explanation. I argue, however, for a tripartite ontology of objects corresponding to sentential nominals: facts, tropes (or facta or states of affairs), and situations (or events). I axiomatize the relations and use canonical models to demonstrate completeness. 相似文献
163.
Causation in a New Old Key 总被引:1,自引:0,他引:1
I argue (1) that it is not philosophically significant whether causation is linguistically represented by a predicate or by a sentence connective; (2) that there is no philosophically significant distinction between event- and states-of-affairs-causation; (3) that there is indeed a philosophically significant distinction between agent- and event-causation, and that event-causation must be regarded as an analog of agent-causation. Developing this point, I argue that event-causation's being in the image of agent-causation requires, mainly, (a) that the cause is temporally prior to the effect, (b) that the cause necessitates (is sufficient with necessity) for the effect. Causal necessity is explained as a derivative of nomological necessity, and finally, via a definition of the causal sentence connective, the logic of event-causation is shown to be a part of temporal modal logic. 相似文献
164.
de Freitas Renata P. Viana Jorge P. Benevides Mario R. F. Veloso Sheila R. M. Veloso Paulo A. S. 《Journal of Philosophical Logic》2003,32(4):343-355
In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is U×U for some set U) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. 相似文献
165.
We introduce modal propositional substructural logics with strong negation, and prove the completeness theorems (with respect to Kripke models) for these logics. 相似文献
166.
Kripke-completeness of every classical modal logic with Sahlqvist formulas is one of the basic general results on completeness of classical modal logics. This paper shows a Sahlqvist theorem for modal logic over the relevant logic Bin terms of Routley-Meyer semantics. It is shown that usual Sahlqvist theorem for classical modal logics can be obtained as a special case of our theorem. 相似文献
167.
Multimo dal Logics of Products of Topologies 总被引:1,自引:0,他引:1
We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with
the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical
topologies is the fusion S4 ⊕ S4. We axiomatize the modal logic of products of spaces with horizontal, vertical, and standard product topologies.We prove
that both of these logics are complete for the product of rational numbers ℚ × ℚ with the appropriate topologies.
AMS subject classification : 03B45, 54B10
The last author’s research was supported by a Social Sciences and Humanities Research Council of Canada grant number: 725-2000-2237.
Presented by Melvin Fitting 相似文献
168.
Larisa Maksimova 《Studia Logica》2006,83(1-3):365-391
All extensions of the modal Grzegorczyk logic Grz possessing projective Beth's property PB2 are described. It is proved that
there are exactly 13 logics over Grz with PB2. All of them are finitely axiomatizable and have the finite model property.
It is shown that PB2 is strongly decidable over Grz, i.e. there is an algorithm which, for any finite system Rul of additional
axiom schemes and rules of inference, decides if the calculus Grz+Rul has the projective Beth property.
Dedicated to the memory of Willem Johannes Blok 相似文献
169.
Ulrich Berger Stefan Berghofer Pierre Letouzey Helmut Schwichtenberg 《Studia Logica》2006,82(1):25-49
This paper describes formalizations of Tait's normalization proof for the simply typed λ-calculus in the proof assistants
Minlog, Coq and Isabelle/HOL. From the formal proofs programs are machine-extracted that implement variants of the well-known
normalization-by-evaluation algorithm. The case study is used to test and compare the program extraction machineries of the
three proof assistants in a non-trivial setting. 相似文献
170.
REN VAN WOUDENBERG 《Metaphilosophy》2006,37(2):210-221
Abstract: This article is a discussion of Hume's maxim Nothing we imagine is absolutely impossible. First I explain this maxim and distinguish it from the principle Whatever cannot be imagined (conceived), is impossible. Next I argue that Thomas Reid's criticism of the maxim fails and that the arguments by Tamar Szábo Gendler and John Hawthorne for the claim that “it is uncontroversial that there are cases where we are misled” by the maxim are unconvincing. Finally I state the limited but real value of the maxim: it does help us, in certain cases, reliably to make up our minds. Along the way I show that Reid, his criticism of the maxim notwithstanding, actually employs it, and I furthermore argue that the principle What is inconceivable, is impossible is spurious. 相似文献