No non-trivial quasivariety of BCK-algebras has decidable first order theory

Using the semantic embedding technique the theorem announced by the title is proved.     

On comparison of theories by their contents

Popper's definition of verisimilitude was criticized for its paradoxical consequences in the case of false theories. The aim of this paper is to show that paradoxes disappear if the falsity content of a theory is defined with help of dCn or Cn ^–1.To the memory of Jerzy SupeckiI am grateful to David Pearce, Gerhard Schurz, Peter Simons, Maciej Spasowski and Jan Zygmunt for their helpful discussions on issues analysed in this paper. Particularly, Zygmunt's and Spasowski's comments enabled me to correct several mistakes of the earlier drafts.     

Repetition of previously novel melodies sometimes increases both remember and know responses in recognition memory

Recognition memory for previously novel melodies was tested in three experiments in which subjects usedremember andknow responses to report experiences of recollection, or of familiarity in the absence of recollection, for each melody they recognized. Some of the melodies were taken from Polish folk songs and presented vocally, but without the words. Others were taken from obscure pieces of classical music, presented as single-line melodies. Prior to the test, the melodies were repeated for varying numbers of study trials. Repetition of the Polish melodies increased both remember and know responses, while repetition of classical melodies increased remember but not know responses. When subjects were instructed to report guesses, guess responses were inversely related to remember and know responses and there were more guesses to lures than to targets. These findings establish that remembering and knowing are fully independent functionally and, by the same token, they provide further evidence against the idea that response exclusivity causes increases in remembering to force decreases in knowing. The findings also suggest that simultaneous increases in remembering and knowing occurred because the Polish melodies came from a genre for which the subjects had relatively little previous experience.     

Memory confusions and memory codes: A simulation of the acoustic similarity effect

It is hypothesized that items are coded for short-term storage in the language of the modality through which the customary responses to these items are normally monitored. This Response Monitoring Modality Hypothesis may account for the acoustic similarity effect in short-term memory for verbal items. The hypothesis was tested using non-verbal material. After paired-associate training subjects were found to confuse, in retention tests, items sharing similar previously trained responses to a greater extent than items that were directly similar to one another. The experiment simulates under controlled conditions the natural phenomenon of acoustical confusions in short-term memory, and provides strong support for the Response Monitoring Modality Hypothesis.     

Wprowadzanie implikacji na kursach logiki usługowej

Allatum est die 1 Augusti 1969