首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   100篇
  免费   1篇
  101篇
  2019年   1篇
  2018年   1篇
  2016年   3篇
  2015年   1篇
  2013年   3篇
  2012年   2篇
  2011年   2篇
  2009年   5篇
  2008年   5篇
  2007年   8篇
  2006年   7篇
  2005年   10篇
  2004年   5篇
  2003年   1篇
  2002年   7篇
  2001年   8篇
  2000年   5篇
  1999年   5篇
  1998年   5篇
  1997年   5篇
  1996年   6篇
  1995年   3篇
  1994年   1篇
  1993年   1篇
  1981年   1篇
排序方式: 共有101条查询结果,搜索用时 0 毫秒
71.
We study the monoid of primitive recursive functions and investigate a onestep construction of a kind of exact completion, which resembles that of the familiar category of modest sets, except that the partial equivalence relations which serve as objects are recursively enumerable. As usual, these constructions involve the splitting of symmetric idempotents.  相似文献   
72.
73.
Gil  Àngel J.  Rebagliato  Jordi 《Studia Logica》2000,65(1):53-89
In this paper we show that, in Gentzen systems, there is a close relation between two of the main characters in algebraic logic and proof theory respectively: protoalgebraicity and the cut rule. We give certain conditions under which a Gentzen system is protoalgebraic if and only if it possesses the cut rule. To obtain this equivalence, we limit our discussion to what we call regular sequent calculi, which are those comprising some of the structural rules and some logical rules, in a sense we make precise. We note that this restricted set of rules includes all the usual rules in the literature. We also stress the difference between the case of two-sided sequents and the case of many-sided sequents, in which more conditions are needed.  相似文献   
74.
We discuss the logic of pregroups, introduced by Lambek [34], and its connections with other type logics and formal grammars. The paper contains some new ideas and results: the cut-elimination theorem and a normalization theorem for an extended system of this logic, its P-TIME decidability, its interpretation in L1, and a general construction of (preordered) bilinear algebras and pregroups whose universe is an arbitrary monoid. Special Issue Categorial Grammars and Pregroups Edited by Wojciech Buszkowski and Anne Preller  相似文献   
75.
Zimmermann  Ernst 《Studia Logica》2002,72(3):401-410
We develop a predicate logical extension of a subintuitionistic propositional logic. Therefore a Hilbert type calculus and a Kripke type model are given. The propositional logic is formulated to axiomatize the idea of strategic weakening of Kripke's semantic for intuitionistic logic: dropping the semantical condition of heredity or persistence leads to a nonmonotonic model. On the syntactic side this leads to a certain restriction imposed on the deduction theorem. By means of a Henkin argument strong completeness is proved making use of predicate logical principles, which are only classically acceptable.  相似文献   
76.
Causation in a New Old Key   总被引:1,自引:0,他引:1  
Meixner  Uwe 《Studia Logica》2004,76(3):343-383
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.  相似文献   
77.
We investigate uniform interpolants in propositional modal logics from the proof-theoretical point of view. Our approach is adopted from Pitts’ proof of uniform interpolationin intuitionistic propositional logic [15]. The method is based on a simulation of certain quantifiers ranging over propositional variables and uses a terminating sequent calculus for which structural rules are admissible. We shall present such a proof of the uniform interpolation theorem for normal modal logics K and T. It provides an explicit algorithm constructing the interpolants. Presented by Heinrich Wansing  相似文献   
78.
    
Norbert M. Samuelson 《Zygon》1993,28(2):267-282
Abstract. Borowitz's book is primarily a systematic response by a liberal Jewish theologian to his perceived challenges from rationalism on one hand and postmodernism on the other. It is within this context that Borowitz discusses issues of the relationship between modern science and Judaism. The first part of this essay is a summary of Borowitz's book. Here I locate Borowitz's place in the general discipline of Jewish philosophy and theology. The second part of the paper is a critique of Borowitz's discussion of postmodernism and liberalism. It is in this concluding section that the issues raised by contemporary science for Jewish religious thought are discussed.  相似文献   
79.
80.
    
In this paper, we suggest a strategy for modelling cognitive context within a truth‐conditional semantics, using Asher's model of predication. This allows us to introduce the notion of type presupposition intended as a lexical constraint to the composition of the truth‐conditional content. More specifically, we suggest that this model of predication produces a notion of truth‐conditional meaning where the cognitive context fixes a set of lexical restrictions and forced modifications. We conclude that this model might offer an intermediate position between Minimalism and Contextualism: an account that provides intuitive truth conditions within a formal semantic theory.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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