全文获取类型
收费全文 | 158篇 |
免费 | 16篇 |
国内免费 | 6篇 |
专业分类
180篇 |
出版年
2021年 | 1篇 |
2020年 | 5篇 |
2019年 | 8篇 |
2018年 | 5篇 |
2017年 | 5篇 |
2016年 | 6篇 |
2015年 | 5篇 |
2014年 | 4篇 |
2013年 | 12篇 |
2012年 | 1篇 |
2011年 | 8篇 |
2010年 | 3篇 |
2009年 | 8篇 |
2008年 | 11篇 |
2007年 | 12篇 |
2006年 | 5篇 |
2005年 | 11篇 |
2004年 | 6篇 |
2003年 | 6篇 |
2002年 | 8篇 |
2001年 | 8篇 |
2000年 | 5篇 |
1999年 | 4篇 |
1998年 | 6篇 |
1997年 | 6篇 |
1996年 | 3篇 |
1995年 | 5篇 |
1994年 | 1篇 |
1993年 | 4篇 |
1992年 | 3篇 |
1989年 | 1篇 |
1987年 | 1篇 |
1981年 | 1篇 |
1980年 | 1篇 |
1978年 | 1篇 |
排序方式: 共有180条查询结果,搜索用时 0 毫秒
31.
Stefan Kaufmann 《Journal of Philosophical Logic》2009,38(1):1-53
The fact that the standard probabilistic calculus does not define probabilities for sentences with embedded conditionals is
a fundamental problem for the probabilistic theory of conditionals. Several authors have explored ways to assign probabilities
to such sentences, but those proposals have come under criticism for making counterintuitive predictions. This paper examines
the source of the problematic predictions and proposes an amendment which corrects them in a principled way. The account brings
intuitions about counterfactual conditionals to bear on the interpretation of indicatives and relies on the notion of causal
(in)dependence. 相似文献
32.
Norihiro Kamide 《Studia Logica》2009,91(2):217-238
New propositional and first-order paraconsistent logics (called L
ω
and FL
ω
, respectively) are introduced as Gentzen-type sequent calculi with classical and paraconsistent negations. The embedding
theorems of L
ω
and FL
ω
into propositional (first-order, respectively) classical logic are shown, and the completeness theorems with respect to simple
semantics for L
ω
and FL
ω
are proved. The cut-elimination theorems for L
ω
and FL
ω
are shown using both syntactical ways via the embedding theorems and semantical ways via the completeness theorems.
Presented by Yaroslav Shramko and Heinrich Wansing 相似文献
33.
Hartmann Scheiblechner 《Psychometrika》2007,72(1):43-67
The (univariate) isotonic psychometric (ISOP) model (Scheiblechner, 1995) is a nonparametric IRT model for dichotomous and
polytomous (rating scale) psychological test data. A weak subject independence axiom W1 postulates that the subjects are ordered
in the same way except for ties (i.e., similarly or isotonically) by all items of a psychological test. A weak item independence
axiom W2 postulates that the order of the items is similar for all subjects. Local independence (LI or W3) is assumed in all
models. With these axioms, sample-free unidimensional ordinal measurements of items and subjects become feasible. A cancellation
axiom (Co) gives, as a result, the additive isotonic psychometric (ADISOP) model and interval scales for subjects and items,
and an independence axiom (W4) gives the completely additive isotonic psychometric (CADISOP) model with an interval scale
for the response variable (Scheiblechner, 1999). The d-ISOP, d-ADISOP, and d-CADISOP models are generalizations to d-dimensional dependent variables (e.g., speed and accuracy of response).
The author would like to thank an Associate Editor and two anonymous referees and also Professor H.H. Schulze for their very
valuable suggestions and corrections. 相似文献
34.
Phiniki Stouppa 《Studia Logica》2007,85(2):199-214
We present a cut-admissible system for the modal logic S5 in a formalism that makes explicit and intensive use of deep inference.
Deep inference is induced by the methods applied so far in conceptually pure systems for this logic. The system enjoys systematicity
and modularity, two important properties that should be satisfied by modal systems. Furthermore, it enjoys a simple and direct
design: the rules are few and the modal rules are in exact correspondence to the modal axioms.
Presented by Heinrich Wansing 相似文献
35.
Denis Béchet 《Studia Logica》2007,87(2-3):199-224
The paper presents a way to transform pregroup grammars into contextfree grammars using functional composition. The same technique can also be used for the proof-nets of multiplicative cyclic linear logic and for Lambek calculus allowing
empty premises. 相似文献
36.
Wojciech Buszkowski 《Studia Logica》1996,57(2-3):303-323
We prove the finite model property (fmp) for BCI and BCI with additive conjunction, which answers some open questions in Meyer and Ono [11]. We also obtain similar results for some restricted versions of these systems in the style of the Lambek calculus [10, 3]. The key tool is the method of barriers which was earlier introduced by the author to prove fmp for the product-free Lambek calculus [2] and the commutative product-free Lambek calculus [4].Presented by H. Ono 相似文献
37.
The paper first formalizes the ramified type theory as (informally) described in the Principia Mathematica [32]. This formalization is close to the ideas of the Principia, but also meets contemporary requirements on formality and accuracy, and therefore is a new supply to the known literature on the Principia (like [25], [19], [6] and [7]).As an alternative, notions from the ramified type theory are expressed in a lambda calculus style. This situates the type system of Russell and Whitehead in a modern setting. Both formalizations are inspired by current developments in research on type theory and typed lambda calculus; see [3].Supported by the Co-operation Centre Tilburg and Eindhoven Universities. 1[32], Introduction, Chapter II, Section I, p. 37.Presented by Wolfgang Rautenberg 相似文献
38.
39.
An analysis of (linear) exponentials based on extended sequents 总被引:1,自引:0,他引:1
40.
Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions
The first step in reasoning about actions and change involves reasoning about how the world would evolve if a certain action
is executed in a certain state. Most research on this assumes the evolution to be only a single step and focus on formulating
the transition function that defines changes between states due to actions. In this paper we consider cases where the evolution
is more than just a single change between one state and another. This is manifested when the execution of an action may trigger
execution of other actions, or when multiple agents act on the environment following certain strategies. 相似文献