全文获取类型
收费全文 | 247篇 |
免费 | 5篇 |
国内免费 | 10篇 |
专业分类
262篇 |
出版年
2021年 | 1篇 |
2020年 | 2篇 |
2019年 | 1篇 |
2018年 | 2篇 |
2017年 | 10篇 |
2016年 | 5篇 |
2015年 | 4篇 |
2014年 | 6篇 |
2013年 | 5篇 |
2011年 | 2篇 |
2010年 | 7篇 |
2009年 | 10篇 |
2008年 | 15篇 |
2007年 | 16篇 |
2006年 | 23篇 |
2005年 | 27篇 |
2004年 | 16篇 |
2003年 | 13篇 |
2002年 | 16篇 |
2001年 | 16篇 |
2000年 | 15篇 |
1999年 | 6篇 |
1998年 | 10篇 |
1997年 | 21篇 |
1996年 | 7篇 |
1995年 | 1篇 |
1994年 | 2篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1989年 | 1篇 |
排序方式: 共有262条查询结果,搜索用时 0 毫秒
41.
Lou Goble 《Studia Logica》2004,76(1):17-66
Combinator logics are a broad family of substructual logics that are formed by extending the basic relevant logic B with axioms that correspond closely to the reduction rules of proper combinators in combinatory logic. In the Routley-Meyer relational semantics for relevant logic each such combinator logic is characterized by the class of frames that meet a first-order condition that also directly corresponds to the same combinator's reduction rule. A second family of logics is also introduced that extends B with the addition of propositional constants that correspond to combinators. These are characterized by relational frames that meet first-order conditions that reflect the structures of the combinators themselves. 相似文献
42.
Carlos A. Oller 《Journal of Applied Logic》2004,2(4):451-455
This paper introduces a technique for measuring the degree of (in)coherence of inconsistent sets of propositional formulas. The coherence of these sets of formulas is calculated using the minimal models of those sets in G. Priest's Logic of Paradox. The compatibility of the information expressed by a set of formulas with the background or domain knowledge can also be measured with this technique. In this way, Hunter's objections to many-valued paraconsistent logics as instruments for measuring (in)coherence are addressed. 相似文献
43.
A tableau is a refutation-based decision procedure for a related logic, and is among the most popular proof procedures for modal logics. In this paper, we present a labelled tableau calculus for a temporalised belief logic called TML+, which is obtained by adding a linear-time temporal logic onto a belief logic by the temporalisation method of Finger and Gabbay. We first establish the soundness and the completeness of the labelled tableau calculus based on the soundness and completeness results of its constituent logics. We then sketch a resolution-type proof procedure that complements the tableau calculus and also propose a model checking algorithm for TML+ based on the recent results for model checking procedures for temporalised logics. TML+ is suitable for formalising trust and agent beliefs and reasoning about their evolution for agent-based systems. Based on the logic TML+, the proposed labelled tableau calculus could be used for analysis, design and verification of agent-based systems operating in dynamic environments. 相似文献
44.
Sato Kentaro 《Studia Logica》2008,88(2):295-324
We study filters in residuated structures that are associated with congruence relations (which we call -filters), and develop a semantical theory for general substructural logics based on the notion of primeness for those filters.
We first generalize Stone’s sheaf representation theorem to general substructural logics and then define the primeness of
-filters as being “points” (or stalkers) of the space, the spectrum, on which the representing sheaf is defined. Prime FL-filters
will turn out to coincide with truth sets under various well known semantics for certain substructural logics. We also investigate
which structural rules are needed to interpret each connective in terms of prime -filters in the same way as in Kripke or Routley-Meyer semantics. We may consider that the set of the structural rules that
each connective needs in this sense reflects the difficulty of giving the meaning of the connective. A surprising discovery
is that connectives , ⅋ of linear logic are linearly ordered in terms of the difficulty in this sense.
Presented by Wojciech Buszkowski 相似文献
45.
Applied Logic without Psychologism 总被引:1,自引:0,他引:1
Gregory Wheeler 《Studia Logica》2008,88(1):137-156
Logic is a celebrated representation language because of its formal generality. But there are two senses in which a logic
may be considered general, one that concerns a technical ability to discriminate between different types of individuals, and
another that concerns constitutive norms for reasoning as such. This essay embraces the former, permutation-invariance conception
of logic and rejects the latter, Fregean conception of logic. The question of how to apply logic under this pure invariantist
view is addressed, and a methodology is given. The pure invariantist view is contrasted with logical pluralism, and a methodology
for applied logic is demonstrated in remarks on a variety of issues concerning non-monotonic logic and non-monotonic inference,
including Charles Morgan’s impossibility results for non-monotonic logic, David Makinson’s normative constraints for non-monotonic
inference, and Igor Douven and Timothy Williamson’s proposed formal constraints on rational acceptance. 相似文献
46.
Formal nonmonotonic systems try to model the phenomenon that common sense reasoners are able to “jump” in their reasoning
from assumptions Δ to conclusions C without their being any deductive chain from Δ to C. Such jumps are done by various mechanisms which are strongly dependent on context and knowledge of how the actual world
functions. Our aim is to motivate these jump rules as inference rules designed to optimise survival in an environment with
scant resources of effort and time. We begin with a general discussion and quickly move to Section 3 where we introduce five
resource principles. We show that these principles lead to some well known nonmonotonic systems such as Nute’s defeasible
logic. We also give several examples of practical reasoning situations to illustrate our principles.
Edited by Hannes Leitgeb 相似文献
47.
The present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core
structure of the logic ADM
c
(Adaptive Doxastic Merging by Counting) consists in the formulation of the conflicts arising from the belief bases of the agents involved in the procedure. A strategy
is then defined both semantically and proof-theoretically which selects the consistent contents answering to a majority principle.
The results obtained are proven to be equivalent to a standard majority operator for bases with partial support. 相似文献
48.
The logic BKc1 is the basic constructive logic in the ternaryrelational semantics (without a set of designated points) adequateto consistency understood as the absence of the negation ofany theorem. Negation is introduced in BKc1 with a negationconnective. The aim of this paper is to define the logic BKc1F.In this logic negation is introduced via a propositional falsityconstant. We prove that BKc1 and BKc1F are definitionally equivalent. 相似文献
49.
Alberto Zanardo 《Studia Logica》2006,82(3):379-400
Temporal logic is one of the many areas in which a possible world semantics is adopted. Prior's Ockhamist and Peircean semantics
for branching-time, though, depart from the genuine Kripke semantics in that they involve a quantification over histories,
which is a second-order quantification over sets of possible worlds. In the paper, variants of the original Prior's semantics
will be considered and it will be shown that all of them can be viewed as first-order counterparts of the original semantics. 相似文献
50.
MV-Algebras and Quantum Computation 总被引:2,自引:1,他引:1
We introduce a generalization of MV algebras motivated by the investigations into the structure of quantum logical gates.
After laying down the foundations of the structure theory for such quasi-MV algebras, we show that every quasi-MV algebra is embeddable into the direct product of an MV algebra and a “flat” quasi-MV
algebra, and prove a completeness result w.r.t. a standard quasi-MV algebra over the complex numbers.
Presented by Heinrich Wansing 相似文献