On the {↔, ∼} -reduct of the intuitionistic consequence operation

The intuitionistic consequence operation restricted to the language with (equivalence) and (negation) as the only connectives is axiomatized by means of a finite set of sequential rules of inference.To the memory of Professor Roman Suszko     

Die Praxis als die “Entscheidende Antriebskraft” der Entwicklung der Physik im 17. Jahrhundert?

Ohne ZusammenfassungDieser Aufsatz ist Fortsetzung der Arbeit Marxist Theory and the Development of Physics. I., veröffentlicht inStudies in Soviet Thought 34 (1988) 73–78.     

Sensorimotor synchronization: Motor responses to regular auditory patterns

Subjects (N = 32) were asked to synchronize a motor response with tones in auditory patterns. These patterns were created from six tones and six intertone intervals of equal duration. The pitch of the first tone differed from the others. It was found that subjects used three types of timing in their motor response: (1) the first intertone interval was prolonged and the second interval was shortened, (2) the second intertone interval was prolonged and the first interval was shortened, and/or (3) the first interval and the second interval were of approximately the same length. The prolongation of the fifth interval was observed during all three types of timing. The results are explained using the concept of suprasegmental control of timing, which explains a prolongation of intervals at critical control point of the patterns. The occurrence of three different strategies of timing is discussed in connection with similar principles in musical performance.     

Deduction theorems for RM and its extensions

In this paper logics defined by finite Sugihara matrices, as well as RM itself, are discussed both in their matrix (semantical) and in syntactical version. For each such a logic a deduction theorem is proved, and a few applications are given.