首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   188篇
  免费   1篇
  189篇
  2024年   1篇
  2021年   1篇
  2018年   1篇
  2017年   2篇
  2016年   2篇
  2015年   1篇
  2014年   4篇
  2013年   3篇
  2012年   2篇
  2011年   2篇
  2010年   5篇
  2009年   9篇
  2008年   11篇
  2007年   13篇
  2006年   18篇
  2005年   16篇
  2004年   12篇
  2003年   8篇
  2002年   13篇
  2001年   13篇
  2000年   13篇
  1999年   6篇
  1998年   8篇
  1997年   17篇
  1996年   6篇
  1995年   1篇
  1994年   1篇
排序方式: 共有189条查询结果,搜索用时 15 毫秒
11.
Two classes of π are studied whose properties are similar to those of the protoalgebraic deductive systems of Blok and Pigozzi. The first is the class of N-protoalgebraic π-institutions and the second is the wider class of N-prealgebraic π-institutions. Several characterizations are provided. For instance, N-prealgebraic π-institutions are exactly those π-institutions that satisfy monotonicity of the N-Leibniz operator on theory systems and N-protoalgebraic π-institutions those that satisfy monotonicity of the N-Leibniz operator on theory families. Analogs of the correspondence property of Blok and Pigozzi for π-institutions are also introduced and their connections with preand protoalgebraicity are explored. Finally, relations of these two classes with the (, N)-algebraic systems, introduced previously by the author as an analog of the -algebras of Font and Jansana, and with an analog of the Suszko operator of Czelakowski for π-institutions are also investigated. Presented by Josep Maria Font  相似文献   
12.
Konikowska  Beata 《Studia Logica》1997,58(1):185-226
A similarity relation is a reflexive and symmetric binary relation between objects. Similarity is relative: it depends on the set of properties of objects used in determining their similarity or dissimilarity. A multi-modal logical language for reasoning about relative similarities is presented. The modalities correspond semantically to the upper and lower approximations of a set of objects by similarity relations corresponding to all subsets of a given set of properties of objects. A complete deduction system for the language is presented.  相似文献   
13.
Wolter  Frank 《Studia Logica》1997,58(2):229-259
This paper investigates partitions of lattices of modal logics based on superintuitionistic logics which are defined by forming, for each superintuitionistic logic L and classical modal logic , the set L[] of L-companions of . Here L[] consists of those modal logics whose non-modal fragments coincide with L and which axiomatize if the law of excluded middle p V p is added. Questions addressed are, for instance, whether there exist logics with the disjunction property in L[], whether L[] contains a smallest element, and whether L[] contains lower covers of . Positive solutions as concerns the last question show that there are (uncountably many) superclean modal logics based on intuitionistic logic in the sense of Vakarelov [28]. Thus a number of problems stated in [28] are solved. As a technical tool the paper develops the splitting technique for lattices of modal logics based on superintuitionistic logics and ap plies duality theory from [34].  相似文献   
14.
This paper aims at introducing some of the central aspects of the evolution that brief strategic therapy has undergone at the Centro di Terapia Strategica of Arezzo, Italy, towards advanced therapeutic strategies which differ from the original Palo Alto model. (Fisch, Weakland, &; Segal, 1982; Watzlawick, 1978 Watzlawick, P. 1978. The language of change: Elements of therapeutic communication, New York: Basic Books.  [Google Scholar]; Watzlawick, Beavin, &; Jackson, 1967; Watzlawick, Weakland, &; Fisch, 1974). We will focus on how the concept of self-deception is central to the formation and the persistence of psychological disorders; and how the usage of non-ordinary logics and the understanding of the individual's perceptive-reactive system are of key importance in unravelling such disorders, allowing the therapist to guide the patient towards an efficacious and efficient solution. Rather than attempting to describe and enlist the theoretical corpus that underlies brief strategic therapy, we have chosen to exemplify some focal concepts that connect theory to practice, and vice versa, by presenting the outline of some therapeutic protocols devised for solving eating disorders which can be specifically tailored for each individual patient.  相似文献   
15.
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.  相似文献   
16.
17.
On Some Varieties of MTL-algebras   总被引:1,自引:0,他引:1  
  相似文献   
18.
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  相似文献   
19.
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.  相似文献   
20.
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.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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