calculi 
A further generalization to the setting when there is no group action present is also discussed, and the various settings in which similar operator calculi appear are briefly surveyed.


This accomplishes the first of a possible, twostep process in solving the problem raised (LNCS, 1991, 530: 1633; Domains and lambdacalculi, Cambridge Univ.


The notion of metavariable plays a fundamental role when we define formal systems such as logical and computational calculi.


The influence of amino acids on the formation of particles of synthetic analogs of hydroxyapatites of renal calculi with different degrees of nonstoichiometry is investigated.


The results obtained allow the assumption that, under the normal physiological conditions, free amino acids are natural inhibitors for the formation of renal calculi in the human organism.


There is constructed a system of correct calculi with new singlevalued operations which is isomorphic to the family of proper extensions of the intuitionistic propositional calculus.


Feynman's Operational Calculi for Noncommuting Systems of Operators: Tensors, Ordered Supports, and Disentangling an Exponential


In a recent paper, the authors presented the key ideas involved in their approach to Feynman's operational calculi for systems of not necessarily commuting bounded linear operators acting on a Banach space.


Hilbert systems L? and sequential calculi [L?] for the versions of logics L= T,S4,B,S5, and Grz stated in a language with the single modal noncontingency operator ? A=□A∨□? A are constructed.


It is proved that cut is not eliminable in the calculi [L?], but we can restrict ourselves to analytic cut preserving the subformula property.


Thus the calculi [T?], [S4?], [S5?] ([Grz?], respectively) satisfy the (weak, respectively) subformula property; for [B2?], this question remains open.


Algorithm for Identification of Calculi in Kidneys by the Method of Digital TwoFrequency Xray Imaging


An algorithm is described for identification of the composition of calculi in kidneys by the method of the digital dualenergy Xray patterning.


The informative parameter p for the basic types of calculi has been calculated for the energy interval of 40 to 150 keV.


This parameter weakly depends on the photon energy (the spread is within 3.5%), and it value varies for different chemical compositions of kidney calculi from 15% (calcium phosphate and calcium oxalate) to 70% (calcium lactate and calcium oxalate).


Our investigations have led us to the conclusion that the chemical composition of building materials of kidney calculi can be determined by the method of dualenergy Xray photography.


It thus accelerates the formation of renal calculi.


This dichotomy prevails in all present process calculi.


The language is more uniform than existing process calculi in two aspects: First it has a unified treatment of channels and processes.


Second it has a unified presentation of both first order and higher order process calculi.

