首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1459篇
  免费   62篇
  国内免费   6篇
  1527篇
  2024年   14篇
  2023年   13篇
  2022年   10篇
  2021年   12篇
  2020年   44篇
  2019年   41篇
  2018年   36篇
  2017年   35篇
  2016年   60篇
  2015年   29篇
  2014年   44篇
  2013年   94篇
  2012年   23篇
  2011年   23篇
  2010年   27篇
  2009年   56篇
  2008年   94篇
  2007年   96篇
  2006年   85篇
  2005年   96篇
  2004年   79篇
  2003年   76篇
  2002年   71篇
  2001年   53篇
  2000年   67篇
  1999年   42篇
  1998年   43篇
  1997年   37篇
  1996年   27篇
  1995年   23篇
  1994年   9篇
  1993年   5篇
  1992年   9篇
  1991年   11篇
  1990年   9篇
  1989年   6篇
  1988年   6篇
  1987年   3篇
  1986年   1篇
  1985年   2篇
  1984年   1篇
  1983年   2篇
  1982年   1篇
  1981年   1篇
  1980年   1篇
  1979年   2篇
  1978年   1篇
  1977年   2篇
  1976年   2篇
  1975年   2篇
排序方式: 共有1527条查询结果,搜索用时 15 毫秒
101.
Méndez  J. M.  Salto  F. 《Studia Logica》2000,66(3):409-418
Routley-Meyer type relational complete semantics are constructed for intuitionistic contractionless logic with reductio. Different negation completions of positive intuitionistic logic without contraction are treated in a systematical, unified and semantically complete setting.  相似文献   
102.
The paper presents an argument against a metaphysical conception of logic according to which logic spells out a specific kind of mathematical structure that is somehow inherently related to our factual reasoning. In contrast, it is argued that it is always an empirical question as to whether a given mathematical structure really does captures a principle of reasoning. (More generally, it is argued that it is not meaningful to replace an empirical investigation of a thing by an investigation of its a priori analyzable structure without paying due attention to the question of whether it really is the structure of the thing in question.) It is proposed to elucidate the situation by distinguishing two essentially different realms with which our reason must deal: the realm of the natural, constituted by the things of our empirical world, and the realm of the formal, constituted by the structures that we use as prisms to view, to make sense of, and to reconstruct the world. It is suggested that this vantage point may throw light on many foundational problems of logic.  相似文献   
103.
Dunn  J. Michael 《Studia Logica》2000,66(1):5-40
This paper explores allowing truth value assignments to be undetermined or "partial" (no truth values) and overdetermined or "inconsistent" (both truth values), thus returning to an investigation of the four-valued semantics that I initiated in the sixties. I examine some natural consequence relations and show how they are related to existing logics, including ukasiewicz's three-valued logic, Kleene's three-valued logic, Anderson and Belnap's (first-degree) relevant entailments, Priest's "Logic of Paradox", and the first-degree fragment of the Dunn-McCall system "R-mingle". None of these systems have nested implications, and I investigate twelve natural extensions containing nested implications, all of which can be viewed as coming from natural variations on Kripke's semantics for intuitionistic logic. Many of these logics exist antecedently in the literature, in particular Nelson's "constructible falsity".  相似文献   
104.
Schotch  Peter K. 《Studia Logica》2000,66(1):187-198
This essay attempts to implement epistemic logic through a non-classical inference relation. Given that relation, an account of '(the individual) a knows that A' is constructed as an unfamiliar non-normal modal logic. One advantage to this approach is a new analysis of the skeptical argument.  相似文献   
105.
Provided here is a characterisation of absolute probability functions for intuitionistic (propositional) logic L, i.e. a set of constraints on the unary functions P from the statements of L to the reals, which insures that (i) if a statement A of L is provable in L, then P(A) = 1 for every P, L's axiomatisation being thus sound in the probabilistic sense, and (ii) if P(A) = 1 for every P, then A is provable in L, L's axiomatisation being thus complete in the probabilistic sense. As there are theorems of classical (propositional) logic that are not intuitionistic ones, there are unary probability functions for intuitionistic logic that are not classical ones. Provided here because of this is a means of singling out the classical probability functions from among the intuitionistic ones.  相似文献   
106.
Luchi  Duccio  Montagna  Franco 《Studia Logica》1999,63(1):7-25
The logic of proofs was introduced by Artemov in order to analize the formalization of the concept of proof rather than the concept of provability. In this context, some operations on proofs play a very important role. In this paper, we investigate some very natural operations, paying attention not only to positive information, but also to negative information (i.e. information saying that something cannot be a proof). We give a formalization for a fragment of such a logic of proofs, and we prove that our fragment is complete and decidable.  相似文献   
107.
Demri  Stéphane  Orłowska  Ewa 《Studia Logica》1999,62(2):177-200
In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from these classes have the finite model property with respect to the class of -formulae, i.e. each -formula has a -model iff it has a finite -model. Roughly speaking, a -formula is logically equivalent to a formula in negative normal form without occurrences of modal operators with necessity force. In the proof we introduce a substantial modification of Claudio Cerrato's filtration technique that has been originally designed for graded modal logics. The main core of the proof consists in building adequate restrictions of models while preserving the semantics of the operators used to build terms indexing the modal operators.  相似文献   
108.
Wansing  Heinrich 《Studia Logica》1999,62(1):49-75
The paper provides a uniform Gentzen-style proof-theoretic framework for various subsystems of classical predicate logic. In particular, predicate logics obtained by adopting van Behthem's modal perspective on first-order logic are considered. The Gentzen systems for these logics augment Belnap's display logic by introduction rules for the existential and the universal quantifier. These rules for x and x are analogous to the display introduction rules for the modal operators and and do not themselves allow the Barcan formula or its converse to be derived. En route from the minimal modal predicate logic to full first-order logic, axiomatic extensions are captured by purely structural sequent rules.  相似文献   
109.
K. Helmut Reich 《Zygon》1995,30(3):383-405
Abstract. A strategy for deeding systematically with such complex relationships as those between science and theology is presented after a brief overview of the historical record and illustrated in terms of the concept of divinity. The application of that strategy to the title relationships yields a multilogical/multilevel solution which presents certain analogies to or isomorphisms with the doctrine of the Trinity. These concern mainly the multilogical/multilevel character of both conceptualizations and the relational and contextual reasoning required to conceive them. Furthermore, certain characteristics of the doctrine facilitate the dialogue between theologians and scientists on account of their similarity with such scientific concepts as diversity in unity, multiplicity of relationships, nonseparability, and nonclassical logic.  相似文献   
110.
In the light of recent talk in Canadian business schools about the importance of teaching courses in business ethics, the authors ask whether business professors have the qualifications required to teach business ethics. They point to various ethical dilemmas that arise in a collegial setting and argue that academics who teach business ethics have to first understand the complex ethical situations in which they find themselves if business ethics is to be taught in a meaningful way.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号