全文获取类型
收费全文 | 124篇 |
免费 | 1篇 |
国内免费 | 2篇 |
出版年
2022年 | 1篇 |
2021年 | 1篇 |
2019年 | 2篇 |
2018年 | 2篇 |
2017年 | 2篇 |
2016年 | 5篇 |
2014年 | 3篇 |
2013年 | 3篇 |
2012年 | 1篇 |
2011年 | 4篇 |
2009年 | 7篇 |
2008年 | 5篇 |
2007年 | 12篇 |
2006年 | 8篇 |
2005年 | 11篇 |
2004年 | 5篇 |
2003年 | 1篇 |
2002年 | 7篇 |
2001年 | 8篇 |
2000年 | 6篇 |
1999年 | 6篇 |
1998年 | 5篇 |
1997年 | 7篇 |
1996年 | 6篇 |
1995年 | 3篇 |
1994年 | 1篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1990年 | 1篇 |
1989年 | 1篇 |
1981年 | 1篇 |
排序方式: 共有127条查询结果,搜索用时 15 毫秒
111.
112.
Standard models for model predicate logic consist of a Kripke frame whose worlds come equipped with relational structures. Both modal and two-sorted predicate logic are natural languages for speaking about such models. In this paper we compare their expressivity. We determine a fragment of the two-sorted language for which the modal language is expressively complete on S5-models. Decidable criteria for modal definability are presented. 相似文献
113.
A note on logical relations between semantics and syntax 总被引:1,自引:0,他引:1
114.
Professor H. Neudecker 《Psychometrika》1981,46(3):343-345
The author provides a full-fledged matrix derivation of Sherin's matrix formulation of Kaiser's varimax criterion. He uses matrix differential calculus in conjunction with the Hadamard (or Schur) matrix product. Two results on Hadamard products are presented. 相似文献
115.
116.
Michał Kozak 《Studia Logica》2009,91(2):201-216
We prove the Finite Model Property (FMP) for Distributive Full Lambek Calculus (DFL) whose algebraic semantics is the class of distributive residuated lattices (DRL). The problem was left open in [8, 5]. We use the method of nuclei and quasi–embedding in the style of [10, 1].
Presented by Daniele Mundici. 相似文献
117.
In order to capture the concept of common knowledge, various extensions of multi-modal epistemic logics, such as fixed-point ones and infinitary ones, have been proposed. Although we have now a good list of such proposed extensions, the relationships among them are still unclear. The purpose of this paper is to draw a map showing the relationships among them. In the propositional case, these extensions turn out to be all Kripke complete and can be comparable in a meaningful manner. F. Wolter showed that the predicate extension of the Halpern-Moses fixed-point type common knowledge logic is Kripke incomplete. However, if we go further to an infinitary extension, Kripke completeness would be recovered. Thus there is some gap in the predicate case. In drawing the map, we focus on what is happening around the gap in the predicate case. The map enables us to better understand the common knowledge logics as a whole. 相似文献
118.
We present a general framework for proof systems for relational theories. We discuss principles of the construction of deduction rules and correspondences reflecting relationships between semantics of relational logics and the rules of the respective proof systems. We illustrate the methods developed in the paper with examples relevant for the Lambek calculus and some of its extensions. 相似文献
119.
Ilhan Inan 《Philosophical Studies》2008,140(2):213-228
What does it mean for a general term to be rigid? It is argued by some that if we take general terms to designate their extensions, then almost no empirical general term will turn out to be rigid; and if we take them to designate some abstract entity, such as a kind, then it turns out that almost all general terms will be rigid. Various authors who pursue this line of reasoning have attempted to capture Kripke’s intent by defining a rigid general term as one that applies to the objects in its extension essentially. I argue that this account is significantly mistaken for various reasons: it conflates a metaphysical notion (essentialism) with a semantic one (rigidity); it fails to countenance the fact that any term can be introduced into a language by stipulating that it be a rigid designator; it limits the extension of rigid terms so much that terms such as ‘meter’, ‘rectangle’, ‘truth’, etc. do not turn out to be rigid, when they obviously are; and it wrongly concentrates on the predicative use of a general term in applying a certain test offered by Kripke to determine whether a term is rigid. 相似文献
120.
Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules
In this paper, we propose a game semantics for the (associative) Lambek calculus. Compared to the implicational fragment of intuitionistic propositional calculus, the semantics deals with two features of
the logic: absence of structural rules, as well as directionality of implication. We investigate the impact of these variations
of the logic on its game semantics.
Presented by Wojciech Buszkowski 相似文献