排序方式: 共有189条查询结果,搜索用时 15 毫秒
11.
George Voutsadakis 《Studia Logica》2007,85(2):215-249
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.
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.
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.
Giorgio Nardone 《欧洲心理治疗、咨询与健康杂志》2013,15(2):113-127
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, 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.
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. 相似文献
16.
17.
On Some Varieties of MTL-algebras 总被引:1,自引:0,他引:1
18.
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 相似文献
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.
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. 相似文献