Results 1  10
of
31,820
On the complexity of propositional logics with an involutive negation
 In Proceedings of Eusflat 2003
, 2003
"... Let C be the propositional calculus given by a standard SBLalgebra; C is obtained from C by adding an involutive negation, with axioms and deduction rules as in [4]. Then C is coNPcomplete. ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Let C be the propositional calculus given by a standard SBLalgebra; C is obtained from C by adding an involutive negation, with axioms and deduction rules as in [4]. Then C is coNPcomplete.
Residuated fuzzy logics with an Involutive Negation
"... Residuated fuzzy logic calculi are related to continuous tnorms, which are used as truth functions for conjunction, and their residua as truth functions for implication. In these logics, a negation is also definable from the implication and the truth constant 0, namely :' is ' ! 0. How ..."
Abstract

Cited by 39 (13 self)
 Add to MetaCart
. However, this negation behaves quite differently depending on the tnorm. For a nilpotent tnorm (a tnorm which is isomorphic to / Lukasiewicz tnorm), it turns out that : is an involutive negation. However, for tnorms without nontrivial zero divisors, : is Godel negation. In this paper we
Tnorm based logics with an independent involutive negation
 Fuzzy Sets and Systems
"... In this paper we investigate the addition of arbitrary independent involutive negations to tnorm based logics. We deal with several extensions of MTL and establish general completeness results. Indeed, we will show that, given any tnorm based logic satisfying some basic properties, its extension b ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
In this paper we investigate the addition of arbitrary independent involutive negations to tnorm based logics. We deal with several extensions of MTL and establish general completeness results. Indeed, we will show that, given any tnorm based logic satisfying some basic properties, its extension
Extending the Monoidal Tnorm Based Logic with an Independent Involutive Negation
 EUSFLAT LFA 2005
, 2005
"... In this paper we investigate the logic MTL∼ obtained by extending Esteva and Godo’s logic MTL with an involutive negation ∼ not dependent on the tnorm and with the Baaz’s operator ∆. Moreover, we also introduce and study the related predicate calculus MTL∀∼. Algebraic and standard completeness resu ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
In this paper we investigate the logic MTL∼ obtained by extending Esteva and Godo’s logic MTL with an involutive negation ∼ not dependent on the tnorm and with the Baaz’s operator ∆. Moreover, we also introduce and study the related predicate calculus MTL∀∼. Algebraic and standard completeness
Selfdiscrepancy: A theory relating self and affect
 Psychological Review
, 1987
"... This article presents a theory of how different types of discrepancies between selfstate representations are related to different kinds of emotional vulnerabilities. One domain of the self (actual; ideal; ought) and one standpoint on the self (own; significant other) constitute each type of selfs ..."
Abstract

Cited by 567 (7 self)
 Add to MetaCart
state representation. It is proposed that different types of selfdiscrepancies represent different types of negative psychological situations that are associated with different kinds of discomfort. Discrepancies between the actual/own selfstate (i.e., the selfconcept) and ideal selfstales (i.e., representations
The selfduality equations on a Riemann surface
 Proc. Lond. Math. Soc., III. Ser
, 1987
"... In this paper we shall study a special class of solutions of the selfdual YangMills equations. The original selfduality equations which arose in mathematical physics were defined on Euclidean 4space. The physically relevant solutions were the ones with finite action—the socalled 'instanton ..."
Abstract

Cited by 524 (6 self)
 Add to MetaCart
In this paper we shall study a special class of solutions of the selfdual YangMills equations. The original selfduality equations which arose in mathematical physics were defined on Euclidean 4space. The physically relevant solutions were the ones with finite action—the socalled 'instantons'. The same equations may be
Hierarchies from Fluxes in String Compactifications
, 2002
"... Warped compactifications with significant warping provide one of the few known mechanisms for naturally generating large hierarchies of physical scales. We demonstrate that this mechanism is realizable in string theory, and give examples involving orientifold compactifications of IIB string theory a ..."
Abstract

Cited by 724 (33 self)
 Add to MetaCart
Warped compactifications with significant warping provide one of the few known mechanisms for naturally generating large hierarchies of physical scales. We demonstrate that this mechanism is realizable in string theory, and give examples involving orientifold compactifications of IIB string theory and Ftheory compactifications on CalabiYau fourfolds. In each case, the hierarchy of scales is fixed by a choice of RR and NS fluxes in the compact manifold. Our solutions involve compactifications of the KlebanovStrassler gravity dual to a confining N = 1 supersymmetric gauge theory, and the hierarchy reflects the small scale of chiral symmetry breaking in the dual gauge theory.
An inventory for measuring depression
 Archives of General Psychiatry
, 1961
"... The difficulties inherent in obtaining consistent and adequate diagnoses for the purposes of research and therapy have been pointed out by a number of authors. Pasamanick12 in a recent article viewed the low interclinician agreement on diagnosis as an indictment of the present state of psychiatry ..."
Abstract

Cited by 1098 (0 self)
 Add to MetaCart
The difficulties inherent in obtaining consistent and adequate diagnoses for the purposes of research and therapy have been pointed out by a number of authors. Pasamanick12 in a recent article viewed the low interclinician agreement on diagnosis as an indictment of the present state of psychiatry and called for "the development of objective, measurable and verifiable criteria of classification based not on personal or parochial considerations, but on behavioral and other objectively measurable manifestations." Attempts by other investigators to subject clinical observations and judgments to objective measurement have resulted in a wide variety of psychiatric rating ~ c a l e s. ~ J ~ These have been well summarized in a review article by Lorr l1 on "Rating Scales and Check Lists for the E v a 1 u a t i o n of Psychopathology. " In the area of psychological testing, a variety of paperandpencil tests have been devised for the purpose of measuring specific personality traits; for example, the DepressionElation Test, devised by Jasper in 1930. This report describes the development of an instrument designed to measure the behavioral manifestations of depression. In the planning of the research design of a project aimed at testing certain psychoanalytic formulations of depression, the necessity for establishing an appropriate system for identifying depression was recognized. Because of the reports on the low degree of interclinician agreement on diagnosis,13 we could not depend on the clinical diagnosis, but had to formulate a method of defining depression that would be reliable and valid. The available instruments were not considered adequate for our purposes. The Minnesota Multiphasic Personality Inventory, for example, was not specifically designed Submitted for publication Nov. 29, 1960. This investigation was supported by Research
Identification of programmed cell death in situ via specific labeling of nuclear DNA fragmentation
 J. Cell
, 1992
"... Abstract. Programmed cell death (PCD) plays a key role in developmental biology and in maintenance of the steady state in continuously renewing tissues. Currently, its existence is inferred mainly from gel electrophoresis of a pooled DNA extract as PCD was shown to be associated with DNA fragmentati ..."
Abstract

Cited by 656 (0 self)
 Add to MetaCart
Abstract. Programmed cell death (PCD) plays a key role in developmental biology and in maintenance of the steady state in continuously renewing tissues. Currently, its existence is inferred mainly from gel electrophoresis of a pooled DNA extract as PCD was shown to be associated with DNA fragmentation. Based on this observation, we describe here the development of a method for the in situ visualization of PCD at the singlecell level, while preserving tissue architecture. Conventional histological sections, pretreated with protease, were nick end labeled with biotinylated poly dU, introduced by terminal deoxyp iaOGrtAMMED cell death 0~D) 1 is a selective process of physiological cell deletion (Wyllie, 1981; Umansky,
Results 1  10
of
31,820