Recenzje

---

Reviews

     

O regułach rachunku zdań

Streszczenie Zmienn istotn wyraenia rachunku zda nazywam zmienn, której warto przy pewnym ukadzie wartoci innych zmiennych wpywa na warto caego wyraenia.     

Defense mechanisms in alexithymia

The Polish version of the Toronto Alexithymia Scale-20 and Defense Mechanisms Questionnaire were completed by 387 university students. Scores on alexithymia correlate significantly with scores on the whole group of 12 immature defenses (Pearson r = .39, p < .001) and with scores on such individual immature defense mechanisms as Autistic Fantasy (r = .39), Somatization (r = .37), Projection (r = .32), and Displacement (r = .32). These results support other findings indicating that alexithymia is significantly associated with immature ego defenses.     

Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae

In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from these classes have the finite model property with respect to the class of -formulae, i.e. each -formula has a -model iff it has a finite -model. Roughly speaking, a -formula is logically equivalent to a formula in negative normal form without occurrences of modal operators with necessity force. In the proof we introduce a substantial modification of Claudio Cerrato's filtration technique that has been originally designed for graded modal logics. The main core of the proof consists in building adequate restrictions of models while preserving the semantics of the operators used to build terms indexing the modal operators.