874 resultados para logic of influence (action)
Resumo:
This paper is concerned with the ways in which libraries – in this case public libraries in Rome and the Roman world – acted as points of connectivity and communication.
Resumo:
The logic of proofs (lp) was proposed as Gdels missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for lp have not explored this closeness with S4 and contain rules whose analycity is not immediately evident. We study possible formulations of analytic tableau proof methods for lp that preserve the subformula property. Two sound and complete tableau decision methods of increasing degree of analycity are proposed, KELP and preKELP. The latter is particularly inspired on S4-proofs. The crucial role of proof constants in the structure of lp-proofs methods is analysed. In particular, a method for the abduction of proof constant specifications in strongly analytic preKELP proofs is presented; abduction heuristics and the complexity of the method are discussed.
Resumo:
The mechanism of eupalmerin acetate (EUAC) actions on the embryonic muscle nicotinic acetylcholine receptor (nAChR) in BC3H-1 cells was studied by using whole-cell and single-channel patch-clamp current measurements. With whole-cell currents, EUAC did not act as an agonist on this receptor. Coapplication of 30 mu M EUAC with 50 mu M, 100 N, or 500 mu M carbamoylcholine (CCh) reversibly inhibited the current amplitude, whereas, with 20 mu M CCh, current was increased above control values in the presence of EUAC. EUAC concentration curves (0.01-40 N) obtained with 100 mu M and 500 mu M CCh displayed slope coefficients, n(H), significantly smaller than one, suggesting that EUAC bound to several sites with widely differing affinities on the receptor molecule. The apparent rate of receptor desensitization in the presence of EUAC and CCh was either slower than or equal to that obtained with CCh alone. The major finding from single-channel studies was that EUAC did not affect single-channel conductance or the ability of CCh to interact with the receptor. Instead, EUAC acted by increasing the channel closing rate constant. The results are not consistent with the competitive model for EUAC inhibition, with the sequential open-channel block model, or with inhibition by increased desensitization. The data are best accounted for by a model in which EUAC acts by closed-channel block at low concentrations, by positive modulation at intermediate concentrations, and by negative allosteric modulation of the open channel at high concentrations. (c) 2007 Wiley-Liss, Inc.