Behavior of visual evoked potentials (pattern reversal VECP) in smokers

Twenty six clinically healthy smokers were studied with transient pattern visual-evoked potentials. In comparison with a sample of "normal" subjects we found a difference of some parameters (P less than 0.05): the P2-latency and the interocular difference of latency on average were 6-7 ms respectively 2 ms larger. Thirteen subjects have had a prolonged P2-latency (P less than 0.05) and/or a difference in interocular latencies larger than 5 ms. These findings may suggest on subclinical disturbances of visual system and indicators of an special sensitivity of that person. The findings are possibly related to tobacco-alcohol amblyopia.     

A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection

The problems we deal with concern reasoning about incomplete knowledge. Knowledge is understood as ability of an ideal rational agent to make decisions about pieces of information. The formalisms we are particularly interested in are Moore's autoepistemic logic (AEL) and its variant, the logic of acceptance and rejection (AEL2). It is well-known that AEL may be seen as the nonmonotonic KD45 modal logic. The aim is to give an appropriate modal formalization for AEL2.     

Three-element nonfinitely axiomatizable matrices

There are exactly two nonfinitely axiomatizable algebraic matrices with one binary connective o such thatx(yz) is a tautology of . This answers a question asked by W. Rautenberg in [2], P. Wojtylak in [8] and W. Dziobiak in [1]. Since every 2-element matrix can be finitely axiomatized ([3]), the matrices presented here are of the smallest possible size and in some sense are the simplest possible.Presented byWolfgang Rautenberg     

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     

The role of some definite references in linguistic integration

Definite reference increases thematic integration for semantically related sentences (DeVilliers, 1974). Therefore, definite reference should increase linguistic integration in the Bransford-Franks integrated recognition paradigm. Two recognition and two recall studies demonstrated that, if anything, indefinite reference increases linguistic integration effects, as measured by existing measures of integration. However, definite reference increases topical clustering in recall. Results cast doubt on the validity of existing measures of linguistic integration and indicate that the tally model of performance in integrated recognition tasks (Reitman & Bower, 1973) is not totally adequate, either. Results are compatible with the associative model of Anderson and Bower (1973). Topical clustering appears to be a better measure of integrated memory than are existing measures of linguistic integration. Retention of information about the propositional form in which semantically related sentences are presented and integrated memory are not necessarily incompatible.