In this paper we present a strongly normalising cut-elimination procedure for classical logic. This procedure adapts Gentzen’s standard cut-reductions, but is less restrictive than previous strongly normalising cut-elimination procedures. In comparison, for example, with works by Dragalin and Danos et al., our procedure requires no special annotations on formulae and allows cut-rules to pass ov...

Let $G$ be a weighted digraph, $s$ and $t$ be two vertices of $G$, and $t$ is reachable from $s$. The logical $s$-$t$ min-cut (LSTMC) problem states how $t$ can be made unreachable from $s$ by removal of some edges of $G$ where (a) the sum of weights of the removed edges is minimum and (b) all outgoing edges of any vertex of $G$ cannot be removed together. If we ignore the second constraint, ca...

Quantitative measurements of tumor in general and tumor volume in particular, become more realistic with the use of Magnetic Resonance imaging, especially when the tumor morphological changes become irregular and difficult to assess by clinical examination. However, tumor volume estimation strongly depends on the image segmentation, which is fuzzy by nature. In this paper a fuzzy approach is pr...

Quantitative measurements of tumor in general and tumor volume in particular, become more realistic with the use of Magnetic Resonance imaging, especially when the tumor morphological changes become irregular and difficult to assess by clinical examination. However, tumor volume estimation strongly depends on the image segmentation, which is fuzzy by nature. In this paper a fuzzy approach is pr...

The normal value of alpha angle is controversial. The aim of this study was to compare the alpha angle in asymptomatic volunteers versus patients who had undergone surgery for symptomatic cam-type femoroacetabular impingement (FAI) and determine a diagnostic cut-off value for symptomatic cam impingement. This is a diagnostic test study. Cases were defined as those patients who had undergone sur...

Cut-Off Lows (COLs) in the Southern Hemisphere and mechanisms involved their development are investigated detail using eddy kinetic energy (EKE) budget applied to data from ERA-Interim reanalysis. This approach considers most important processes that typical for evolution of midlatitude disturbances such as baroclinic (BRC) barotropic (BRT) conversions, ageostrophic flux convergence (AFC), know...