Categorical Equivalence Between $$\varvec{PMV}_{\varvec{f}}$$ PMV f -Product Algebras and Semi-Low $$\varvec{f}_{\varvec{u}}$$ f u -Rings

Studia Logica - An explicit categorical equivalence is defined between a proper subvariety of the class of $${ PMV}$$ -algebras, as defined by Di Nola and Dvure?enskij, to be called $${...     

Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Numerations

We prove that for each recursively axiomatized consistent extension T of Peano Arithmetic and \(n \ge 2\), there exists a \(\Sigma _2\) numeration \(\tau (u)\) of T such that the provability logic of the provability predicate \(\mathsf{Pr}_\tau (x)\) naturally constructed from \(\tau (u)\) is exactly \(\mathsf{K}+ \Box (\Box ^n p \rightarrow p) \rightarrow \Box p\). This settles Sacchetti’s problem affirmatively.     

Adaptive logics using the minimal abnormality strategy are $$\Pi^1_1$$ -complex

In this article complexity results for adaptive logics using the minimal abnormality strategy are presented. It is proven here that the consequence set of some recursive premise sets is -complete. So, the complexity results in (Horsten and Welch, Synthese 158:41–60, 2007) are mistaken for adaptive logics using the minimal abnormality strategy.     

An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency $$\mathsf {mbC}$$ mbC

Studia Logica - The aim in this paper is to define an Abductive Question-Answer System for the minimal logic of formal inconsistency $$\mathsf {mbC}$$ . As a proof-theoretical basis we employ the...     

The representation of Takeuti's\begin{array}{*{20}c} \parallel \\ \_ \\ \end{array} -operator

Gaisi Takeuti has recently proposed a new operation on orthomodular latticesL, \(\begin{array}{*{20}c} \parallel \\ \_ \\ \end{array} \) :P(L)»L. The properties of \(\begin{array}{*{20}c} \parallel \\ \_ \\ \end{array} \) suggest that the value of \(\begin{array}{*{20}c} \parallel \\ \_ \\ \end{array} \) (A) (A) \( \subseteq \) L) corresponds to the degree in which the elements ofA behave classically. To make this idea precise, we investigate the connection between structural properties of orthomodular latticesL and the existence of two-valued homomorphisms onL.     

Analyticity,Balance and Non-admissibility of $$\varvec{Cut}$$ Cut in Stoic Logic

Studia Logica - This paper shows that, for the Hertz–Gentzen Systems of 1933 (without Thinning), extended by a classical rule T1 (from the Stoics) and using certain axioms (also from the...     

Estimating the Cognitive Diagnosis $$\varvec{Q}$$ Q Matrix with Expert Knowledge: Application to the Fraction-Subtraction Dataset

Psychometrika - Cognitive diagnosis models (CDMs) are an important psychometric framework for classifying students in terms of attribute and/or skill mastery. The $$\varvec{Q}$$ matrix, which...     

Standardized Regression Coefficients and Newly Proposed Estimators for $${R}^{{2}}$$R2 in Multiply Imputed Data

Psychometrika - Whenever statistical analyses are applied to multiply imputed datasets, specific formulas are needed to combine the results into one overall analysis, also called combination rules....     

Error Rates on Two Forms of the Self-Directed Search and Satisfaction With the Results

The number and type of scoring errors made on Holland's Self-Directed Search-R (SDS-R) are examined. Participants were high school juniors and seniors. The results indicate that although some errors were made, the SDS-R was perceived as a useful career assessment tool. Implications of the results are also discussed.     

Complexities of Genetic Counseling for ALS: A Case of Two Siblings with Discordant Genetic Test Results

Rapid advances in the genetics of amyotrophic lateral sclerosis (ALS) have dramatically changed the approach of clinicians and researchers to the motor neuron diseases. We report two siblings in whom the genetic study provided conflicting results, hence raising a number of issues which deserve to be considered by clinicians involved in genetic testing for ALS. The first patient died within 2 years of ALS onset, while her brother still manages to walk unaided, 7 years into onset. Genetic analyses, performed on the first patient as part of a research protocol, and as clinical genetic testing on the brother, provided different results. Results for Patient 1 were negative for all investigated genes, thus suggesting that her disease may be a phenocopy, while her brother carried an autosomal dominant TARDBP mutation (p.A382T). A multidisciplinary approach may help patients and clinicians face the emerging dilemmas in such a complex field. Sharing and updating of advances, not to mention uncertainties inherent to current knowledge, with patients and families may prove to be an effective way to support them and to make them aware of the present limits of our knowledge and of the blurred border between research and clinical practice.     

Advocacy for the Counseling Profession: Results of a National Survey

Seventy‐one leaders in state, regional, and national professional and credentialing associations in counseling responded to a survey concerning professional advocacy efforts, resources, obstacles, and needs. The results indicate a variety of ongoing advocacy initiatives, specific needs for resources and interprofessional collaboration, and agreement on the importance of advocacy for the future of the profession.     

Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster

We generalize the incompleteness proof of the modal predicate logic Q-S4+ p p + BF described in Hughes-Cresswell [6]. As a corollary, we show that, for every subframe logic Lcontaining S4, Kripke completeness of Q-L+ BF implies the finite embedding property of L.     

建议者面部宽高比对决策者建议采纳的影响

在建议采纳过程中,建议者面孔宽高比作为可靠性线索可能影响决策者的决策与判断。本研究通过3个实验来分析建议者面孔宽高比对决策者建议采纳的影响及其机制,并探讨了建议者性别与决策情境的调节作用。结果显示: (1) 相较于女性与低面孔宽高比建议者,男性高面孔宽高比建议者的建议被更低程度地采纳,建议者可靠性感知中介了这一过程。(2) 建议情境的情绪困难程度调节了上述关系,高情绪困难会削弱面孔宽高比对建议采纳的影响。     

Two apparatus assemblies for the study of real movement

Two forms of apparatus are described for the study of real movement. The first is characterized as a hydraulic system and is used where the S’s rate of movement threshold is to be deter-mined. The basis of the apparatus is a hydraulic cylinder with a piston rod carrying a crosspiece with a visual stimulus attached. The piston-crosspiece assembly is raised,by charging the apparatus with oil, which is then discharged back into a reservoir through a finely tapered adjustable needle valve. Velocity of motion may be regulated by varying the needle valve opening or a mass placed on the piston. The second apparatus is useful for determining the displacement threshold, the minimal distance through which a change of stimulus from one position to another can be perceived. The apparatus consists of a cathode ray display of a linear change of voltage from one value to another. Both total displacement and rate of displacement are adjustable. The S views the cathode ray trace through an optical system designed to minimize perception of extraneous motion.