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