The existence of matrices strongly adequate for E,R and their fragments

A logic is a pair (P,Q) where P is a set of formulas of a fixed propositional language and Q is a set of rules. A formula is deducible from X in the logic (P, Q) if it is deducible from XP via Q. A matrix is strongly adequate to (P, Q) if for any , X, is deducible from X iff for every valuation in , is designated whenever all the formulas in X are. It is proved in the present paper that if Q = {modus ponens, adjunction } and P {E, R, E ⁺, R ⁺, E ^I, R ^I } then there exists a matrix strongly adequate to (P, Q).     

Temporal stability of the Czech translation of the Satisfaction with Life Scale: test-retest data over one week

The present study supplemented the limited 1999 psychometric data by Lewis, et al. on the Czech translation of the Satisfaction With Life Scale by examining the temporal stability of the measure over a 1-wk. period for 64 Czech undergraduate university students. Analysis indicated stability across the two administrations was very high (r=.90), and there was no significant change between Time 1 (M=23.7, SD=5.1) and Time 2 (M=24.1, SD=5.5). Short-term test-retest reliability of this Czech translation is supported.     

Undefinability of propositional quantifiers in the modal system S4

We show that (contrary to the parallel case of intuitionistic logic, see [7], [4]) there does not exist a translation fromS4² (the propositional modal systemS4 enriched with propositional quantifiers) intoS4 that preserves provability and reduces to identity for Boolean connectives and □.     

Formal systems for modal operators on locales

In the paper [8], the first author developped a topos- theoretic approach to reference and modality. (See also [5]). This approach leads naturally to modal operators on locales (or spaces without points). The aim of this paper is to develop the theory of such modal operators in the context of the theory of locales, to axiomatize the propositional modal logics arising in this context and to study completeness and decidability of the resulting systems.     

Czech version of Rey Auditory Verbal Learning test: Normative data

The present study provides normative data stratified by age for the Rey Auditory Verbal Learning test Czech version (RAVLT) derived from a sample of 306 cognitively normal subjects (20–85 years). Participants met strict inclusion criteria (absence of any active or past neurological or psychiatric disorder) and performed within normal limits on other neuropsychological measures. Our analyses revealed significant relationships between most RAVLT indices and age and education. Normative data are provided not only for basic RAVLT scores, but for the first time also for a variety of derived (gained/lost access, primacy/recency effect) and error scores. The study confirmed a logarithmic character of the learning slope and is consistent with other studies. It enables the clinician to evaluate more precisely subject’s RAVLT memory performance on a vast number of indices and can be viewed as a concrete example of Quantified Process Approach to neuropsychological assessment.