On the ‘classical’ operations in three-valued logics

The general aim of the present paper is to provide the analysis of the connection between proof-theoretical and functional properties of certain logical matrices. To be more precise, we consider the class of three-valued matrices that induce the classical consequence relation and show that their operations always constitute a subset of one of the maximal classes of functions, which preserve non-trivial equivalence relations. We use a matrix with the single designated value as a sample for in-depth analysis, and generalize the results to suit other cases. Furthermore, on the basis of obtained results we conclude the paper with methodological considerations concerning the nature and interpretation of the truth-values in logical matrices.

Download Full-text

SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY

The Review of Symbolic Logic ◽

10.1017/s1755020318000503 ◽

2019 ◽

Vol 12 (4) ◽

pp. 736-767 ◽

Cited By ~ 2

Author(s):

EMMANUEL CHEMLA ◽

PAUL ÉGRÉ

Keyword(s):

Structural Properties ◽

Semantic Interpretation ◽

Structural Constraints ◽

General Representation ◽

Representation Theorems ◽

Consequence Relation ◽

Truth Values ◽

General Meaning ◽

Semantic Properties

AbstractSuszko’s problem is the problem of finding the minimal number of truth values needed to semantically characterize a syntactic consequence relation. Suszko proved that every Tarskian consequence relation can be characterized using only two truth values. Malinowski showed that this number can equal three if some of Tarski’s structural constraints are relaxed. By so doing, Malinowski introduced a case of so-called mixed consequence, allowing the notion of a designated value to vary between the premises and the conclusions of an argument. In this article we give a more systematic perspective on Suszko’s problem and on mixed consequence. First, we prove general representation theorems relating structural properties of a consequence relation to their semantic interpretation, uncovering the semantic counterpart of substitution-invariance, and establishing that (intersective) mixed consequence is fundamentally the semantic counterpart of the structural property of monotonicity. We use those theorems to derive maximum-rank results proved recently in a different setting by French and Ripley, as well as by Blasio, Marcos, and Wansing, for logics with various structural properties (reflexivity, transitivity, none, or both). We strengthen these results into exact rank results for nonpermeable logics (roughly, those which distinguish the role of premises and conclusions). We discuss the underlying notion of rank, and the associated reduction proposed independently by Scott and Suszko. As emphasized by Suszko, that reduction fails to preserve compositionality in general, meaning that the resulting semantics is no longer truth-functional. We propose a modification of that notion of reduction, allowing us to prove that over compact logics with what we call regular connectives, rank results are maintained even if we request the preservation of truth-functionality and additional semantic properties.

Download Full-text

Quaternary structure of Limulus polyphemus hemocyanin

Proceedings, annual meeting, Electron Microscopy Society of America ◽

10.1017/s0424820100081747 ◽

1978 ◽

Vol 36 (2) ◽

pp. 176-177

Author(s):

T. Wichertjes ◽

E.J. Kwak ◽

E.F.J. Van Bruggen

Keyword(s):

Electron Microscopy ◽

Functional Properties ◽

Horseshoe Crab ◽

Temperature Jump ◽

Quaternary Structure ◽

Crystallographic Analysis ◽

Limulus Polyphemus ◽

Oxygen Binding ◽

X Ray ◽

Intact Molecule

Hemocyanin of the horseshoe crab (Limulus polyphemus) has been studied in nany ways. Recently the structure, dissociation and reassembly was studied using electron microscopy of negatively stained specimens as the method of investigation. Crystallization of the protein proved to be possible and X-ray crystallographic analysis was started. Also fluorescence properties of the hemocyanin after dialysis against Tris-glycine buffer + 0.01 M EDTA pH 8.9 (so called “stripped” hemocyanin) and its fractions II and V were studied, as well as functional properties of the fractions by NMR. Finally the temperature-jump method was used for assaying the oxygen binding of the dissociating molecule and of preparations of isolated subunits. Nevertheless very little is known about the structure of the intact molecule. Schutter et al. suggested that the molecule possibly consists of two halves, combined in a staggered way, the halves themselves consisting of four subunits arranged in a square.

Download Full-text

TEM/AEM characterization of fine-grained clay minerals in very-low-grade rocks: Evaluation of contamination by empa involving celadonite family minerals

Proceedings, annual meeting, Electron Microscopy Society of America ◽

10.1017/s0424820100165938 ◽

1996 ◽

Vol 54 ◽

pp. 694-695

Author(s):

Gejing Li ◽

D. R. Peacor ◽

D. S. Coombs ◽

Y. Kawachi

Keyword(s):

Electron Microscopy ◽

Volcanic Rocks ◽

Analytical Electron Microscopy ◽

Metamorphic Rocks ◽

New Mineral ◽

Chemical Compositions ◽

Low Grade ◽

Fine Grained ◽

Depth Analysis ◽

Mineral Aggregates

Recent advances in transmission electron microscopy (TEM) and analytical electron microscopy (AEM) have led to many new insights into the structural and chemical characteristics of very finegrained, optically homogeneous mineral aggregates in sedimentary and very low-grade metamorphic rocks. Chemical compositions obtained by electron microprobe analysis (EMPA) on such materials have been shown by TEM/AEM to result from beam overlap on contaminant phases on a scale below resolution of EMPA, which in turn can lead to errors in interpretation and determination of formation conditions. Here we present an in-depth analysis of the relation between AEM and EMPA data, which leads also to the definition of new mineral phases, and demonstrate the resolution power of AEM relative to EMPA in investigations of very fine-grained mineral aggregates in sedimentary and very low-grade metamorphic rocks.Celadonite, having end-member composition KMgFe3+Si4O10(OH)2, and with minor substitution of Fe2+ for Mg and Al for Fe3+ on octahedral sites, is a fine-grained mica widespread in volcanic rocks and volcaniclastic sediments which have undergone low-temperature alteration in the oceanic crust and in burial metamorphic sequences.

Download Full-text

Doping effects on the geometric and electronic structure of tin clusters

Physical Chemistry Chemical Physics ◽

10.1039/c9cp05124d ◽

2019 ◽

Vol 21 (44) ◽

pp. 24478-24488 ◽

Cited By ~ 1

Author(s):

Martin Gleditzsch ◽

Marc Jäger ◽

Lukáš F. Pašteka ◽

Armin Shayeghi ◽

Rolf Schäfer

Keyword(s):

Density Functional Theory ◽

Electronic Structure ◽

Density Functional ◽

Beam Deflection ◽

Functional Theory ◽

Doping Effects ◽

Depth Analysis ◽

Trajectory Simulations

In depth analysis of doping effects on the geometric and electronic structure of tin clusters via electric beam deflection, numerical trajectory simulations and density functional theory.

Download Full-text

Structural and functional properties of Escherichia coli-derived nucleoplasmin A comparative study of recombinant and natural proteins

European Journal of Biochemistry ◽

10.1046/j.1432-1033.2001.02043.x ◽

2001 ◽

Vol 268 (6) ◽

pp. 1739-1748

Author(s):

Aitor Hierro ◽

Jesus M. Arizmendi ◽

Javier De Las Rivas ◽

M. Angeles Urbaneja ◽

Adelina Prado ◽

...

Keyword(s):

Escherichia Coli ◽

Comparative Study ◽

Functional Properties ◽

Structural And Functional Properties

Download Full-text

Maternal Perception of Infants’ Expressions of Emotion

Journal of Psychophysiology ◽

10.1027/0269-8803/a000008 ◽

2010 ◽

Vol 24 (3) ◽

pp. 173-185 ◽

Cited By ~ 6

Author(s):

Martin Krippl ◽

Stephanie Ast-Scheitenberger ◽

Ina Bovenschen ◽

Gottfried Spangler

Keyword(s):

Response Pattern ◽

Electrodermal Activity ◽

Startle Amplitude ◽

Caregiving System ◽

Parental Caregiving ◽

Opponent Process ◽

Opponent Process Theory ◽

Valence And Arousal ◽

Methodological Considerations

In light of Lang’s differentiation of the aversive and the approach system – and assumptions stemming from attachment theory – this study investigates the role of the approach or caregiving system for processing infant emotional stimuli by comparing IAPS pictures, infant pictures, and videos. IAPS pictures, infant pictures, and infant videos of positive, neutral, or negative content were presented to 69 mothers, accompanied by randomized startle probes. The assessment of emotional responses included subjective ratings of valence and arousal, corrugator activity, the startle amplitude, and electrodermal activity. In line with Lang’s original conception, the typical startle response pattern was found for IAPS pictures, whereas no startle modulation was observed for infant pictures. Moreover, the startle amplitudes during negative video scenes depicting crying infants were reduced. The results are discussed with respect to several theoretical and methodological considerations, including Lang’s theory, emotion regulation, opponent process theory, and the parental caregiving system.

Download Full-text

Functional Properties of Cloned Allergens from Dust Mite, Cockroach, and Cat

Allergy & Clinical Immunology International - Journal of the World Allergy Organization ◽

10.1027/0838-1925.13.4.162 ◽

2001 ◽

Vol 13 (4) ◽

pp. 0162-0169 ◽

Cited By ~ 7

Author(s):

Anna Pomés ◽

Alisa Smith ◽

Christophe Grégoire ◽

Lisa Vailes ◽

L. Arruda ◽

...

Keyword(s):

Functional Properties ◽

Dust Mite

Download Full-text

Effectiveness of Programs for the Prevention of Child Sexual Abuse

European Psychologist ◽

10.1027/1016-9040/a000379 ◽

2020 ◽

Vol 25 (1) ◽

pp. 1-15 ◽

Cited By ~ 3

Author(s):

Amaia Del Campo ◽

Marisalva Fávero

Keyword(s):

United States ◽

Sexual Abuse ◽

New Zealand ◽

Critical Analysis ◽

Prevention Programs ◽

The United States ◽

Sexual Abuse Prevention ◽

Negative Effects ◽

The United Kingdom ◽

Methodological Considerations

Abstract. During the last decades, several studies have been conducted on the effectiveness of sexual abuse prevention programs implemented in different countries. In this article, we present a review of 70 studies (1981–2017) evaluating prevention programs, conducted mostly in the United States and Canada, although with a considerable presence also in other countries, such as New Zealand and the United Kingdom. The results of these studies, in general, are very promising and encourage us to continue this type of intervention, almost unanimously confirming its effectiveness. Prevention programs encourage children and adolescents to report the abuse experienced and they may help to reduce the trauma of sexual abuse if there are victims among the participants. We also found that some evaluations have not considered the possible negative effects of this type of programs in the event that they are applied inappropriately. Finally, we present some methodological considerations as critical analysis to this type of evaluations.

Download Full-text

Delay Discounting in Impulsive Behavior

European Psychologist ◽

10.1027/1016-9040/a000360 ◽

2019 ◽

Vol 24 (4) ◽

pp. 312-321 ◽

Cited By ~ 4

Author(s):

Diana Moreira ◽

Fernando Barbosa

Keyword(s):

Delay Discounting ◽

Human Subjects ◽

Empirical Studies ◽

Cochrane Collaboration ◽

Initial Assessment ◽

Impulsive Behavior ◽

Manual Search ◽

Study Results ◽

Depth Analysis ◽

The Future

Abstract. Delay discounting (DD) is the process of devaluing results that happen in the future. With this review, we intend to identify specificities in the processes of DD in impulsive behavior. Studies were retrieved from multiple literature databases, through rigorous criteria (we included systematic reviews and empirical studies with adult human subjects), following the procedures of the Cochrane Collaboration initiative. Of the 174 documents obtained, 19 were considered eligible for inclusion and were retained for in-depth analysis. In addition, 13 studies from the manual search were included. Thus, a total of 32 studies were selected for review. The objectives/hypotheses, results, and the main conclusion(s) were extracted from each study. Results show that people with pronounced traits of impulsivity discount rewards more markedly, that is, they prefer immediate rewards, though of less value, or postponed losses, even though they worsen in the future. Taken together, the existing data suggest the importance of inserting DD as a tool for initial assessment in conjunction with measures of addiction and stress level, as well as the consideration of new therapies.

Download Full-text

Challenges of Fear Conditioning Research in the Age of RDoC

Zeitschrift für Psychologie ◽

10.1027/2151-2604/a000303 ◽

2017 ◽

Vol 225 (3) ◽

pp. 189-199 ◽

Cited By ~ 5

Author(s):

Tina B. Lonsdorf ◽

Jan Richter

Keyword(s):

Fear Conditioning ◽

Clinical Diagnosis ◽

Research Domain Criteria ◽

Major Focus ◽

The Future ◽

Definition Of ◽

Methodological Considerations ◽

Research Domain

Abstract. As the criticism of the definition of the phenotype (i.e., clinical diagnosis) represents the major focus of the Research Domain Criteria (RDoC) initiative, it is somewhat surprising that discussions have not yet focused more on specific conceptual and procedural considerations of the suggested RDoC constructs, sub-constructs, and associated paradigms. We argue that we need more precise thinking as well as a conceptual and methodological discussion of RDoC domains and constructs, their interrelationships as well as their experimental operationalization and nomenclature. The present work is intended to start such a debate using fear conditioning as an example. Thereby, we aim to provide thought-provoking impulses on the role of fear conditioning in the age of RDoC as well as conceptual and methodological considerations and suggestions to guide RDoC-based fear conditioning research in the future.

Download Full-text