What is quantum logic?

The paper describes in detail the procedure of identification of the inner language and an inner logico of a physical theory. The procedure is a generalization of the original ideas of J. von Neuman and G. Birkhoff about quantum logic.     

Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic

We prove that each proper ideal in the lattice of axiomatic, resp. standard strengthenings of the intuitionistic propositional logic is of cardinality 2^?0. But, each proper ideal in the lattice of structural strengthenings of the intuitionistic propositional logic is of cardinality 2^2?0. As a corollary we have that each of these three lattices has no atoms.     

Second order propositional operators over cantor space

We consider propositional operators defined by propositional quantification in intuitionistic logic. More specifically, we investigate the propositional operators of the formA* :p q(p A(q)) whereA(q) is one of the following formulae: (¬¬q q) V ¬¬q, (¬¬q q) (¬¬q V ¬q), ((¬¬q q) (¬¬q V ¬q)) ((¬¬q q) V ¬¬q). The equivalence ofA*(p) to ¬¬p is proved over the standard topological interpretation of intuitionistic second order propositional logic over Cantor space.We relate topological interpretations of second order intuitionistic propositional logic over Cantor space with the interpretation of propositional quantifiers (as the strongest and weakest interpolant in Heyting calculus) suggested by A. Pitts. One of the merits of Pitts' interpretation is shown to be valid for the interpretation over Cantor space.Presented byJan Zygmunt     

On P-compatible hybrid identities and hyperidentities

P-compatible identities are built up from terms with a special structure. We investigate a variety defined by a set ofP-compatible hybrid identities and answer the question whether a variety defined by a set ofP-compatible hyperidentities can be solid.Presented byJan Zygmunt;     

Application of an Integrated Behavioral Model to Predict Condom Use: A Prospective Study Among High HIV Risk Groups1

An integrated theoretical model using constructs from multiple behavioral models was applied to understand and predict condom use among a sample of injecting drug users, commercial sex workers, men who have sex with men, and multipartnered heterosexuals. Elicitation interviews were conducted to develop a questionnaire to measure model constructs that may be predictive of condom use for sex with vaginal, anal, and oral regular and casual partners. A prospective survey design was used, with 993 participants interviewed at Time 1, and 686 returning for Time 2 interviews 3 months later. Regression analyses were conducted using Time 1 measures to predict intention and Time 2 behavior. Strong support was found for a model that includes attitude, social norm, and facilitators/constraints as predictors of behavior, with multiple correlations in the 0.20 to 0.40 range. Findings also indicate perceived control and facilitators/constraints are distinct constructs and both, along with attitude and social norm, contribute to explaining behavioral intention. Implications for intervention development are discussed.     

Memory-Enhancing Treatments Do Not Reverse the Impairment of Inhibitory Avoidance Retention Induced by NMDA Receptor Blockade

The aim of the present research was to verify whether the impairment of retention induced by the N-methyl-d-aspartate (NMDA) receptor blocker (+)-10,11-dihydro-5-methyl-5H-dibenzo[a,d]cycloheptene-5,10 imine (MK-801) can be reversed by memory-enhancing treatments. Adult female Wistar rats were trained and tested in a step-down inhibitory avoidance task (0.3-mA foot shock, 24-h training-test interval). Animals were given an ip injection of saline (SAL) or MK-801 (0.0625 mg/kg) 30 minutes before training, and an ip injection of SAL, epinephrine (EPI) (25 microg/kg), the opioid receptor antagonist naloxone (NAL) (0.4 mg/kg), the glucocorticoid receptor agonist dexamethasone (DEX) (0.3 mg/kg), or glucose (GLU) (320 mg/kg) immediately after training. There was an impairment of inhibitory avoidance retention in the MK-801-SAL, MK-801-EPI, MK-801-NAL, MK-801-DEX, and MK-801-GLU groups. There was an enhancement of retention in the SAL-EPI, SAL-NAL, SAL-DEX, and SAL-GLU groups. A control experiment showed that the amnestic effects of MK-801 could not be attributed to decreased reactivity to the foot shock. The results suggest that memory-enhancing treatments directed at modulatory mechanisms do not reverse the memory impairment induced by NMDA receptor blockade.     

A note on the system of propositional calculus with primitive rule of extensionality

Summary The present paper deals with a systemS of propositional calculus, conjunction, equivalence and falsum being its primitive terms. The only primitive rule inS is the rule of extensionality defined by the scheme:      

Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus

We present a general framework for proof systems for relational theories. We discuss principles of the construction of deduction rules and correspondences reflecting relationships between semantics of relational logics and the rules of the respective proof systems. We illustrate the methods developed in the paper with examples relevant for the Lambek calculus and some of its extensions.