In  cite{GL}, B. Gerla and I. Leuc{s}tean introduced the notion of similarity on MV-algebra. A similarity MV-algebra is an MV-algebra endowed with a binary operation $S$ that verifies certain additional properties. Also, Chirtec{s} in cite{C}, study the notion of similarity on L ukasiewicz-Moisil algebras. In particular, strong similarity L ukasiewicz-Moisil algebras were defined. In this paper...

Double-diffusive mixed convection in a lid-driven square enclosure filled with Al2O3-water is numerically investigated. Two-dimensional nonlinear governing equations are discretized using the control volume method and hybrid scheme. The equations are solved using SIMPLER algorithm. The results are displayed in the form of streamlines, isotherms, and iso-concentrations when the Richardson number...

The categorical formulation of the Eilenberg-Watts calculus relates, for any pair finite categories M and N, Fun^{le}(N,M) Fun^{re}(N,M) linear left or right exact functors Deligne product \bar N \boxtimes by adjoint equivalences. We establish a variant this case that are module over tensor category. This provides in particular canonical explicitly computable equivalences between (or, more gene...

we study the equilibrium states for an energy functional with a parametric force field on a region of a surface. consideration of free equilibrium states is based on lyusternik - schnirelman's and skrypnik's variational methods. consideration of equilibrium states under a constraint of geometrical character is based on an analog of skrypnik's method, described in cite{vyr3}. in local coordinate...

We study ternary relational semantics for symmetric versions of the Lambek calculus with interaction principles due to Grishin (1983). We obtain completeness on the basis of a Henkin-style weak filter construction. 1 Background, motivation The categorial calculi proposed by Lambek and their current typelogical extensions respect an “intuitionistic” restriction: in a Gentzen presentation, Lambek...

This paper introduces a sequence of λ-expressions modelling the binary expansion of integers. We derive expressions computing the test for zero, the successor function, and the predecessor function, thereby showing the sequence to be an adequate numeral system. These functions can be computed efficiently. Their complexity is independent of the order of evaluation.

In this talk we overview our study on an extension of the λ-calculus introduced in [1], exhibiting the features of multiarity and generality. The former feature is the ability of applying a term to a list of arguments. The latter is the ability of specifying a future use, or “continuation”, for a (possibly multiary) application. The calculus was named the generalised multiary λ-calculus, or the...

Oral disorders of the dog represent for veterinarians a medical challenge and an important field of interest from the economical point of view. Although many epidemiological studies on dental diseases in beagles bred under controlled conditions have been realized, information on frequency of these alterations in populations of pet dogs, especially in Central Europe, is far from complete. The ai...

Thirty-one left ventricular (LV) biplane angiograms were performed in 28 patients with tricuspid atresia. Measurements of left ventricular end-diastolic volume (LVEDV) and left ventricular end-systolic volume were obtained by the modified Simpson's rule and systolic ejection fraction (EF) calculated. Left ventricular volumes and ejection fractions were also obtained in 19 control patients with ...