We investigate proof-theoretic properties of hypersequent calculi for intermediate logics using algebraic methods. More precisely, we consider a new weakly analytic subformula property (the bounded proof property) of such calculi. Despite being strictly weaker than both cut-elimination and the subformula property this property is sufficient to ensure decidability of finitely axiomatised calculi...

Background: Urinary calculi have serious implications in urology. Lower ureteral stones can cause obstructive uropathy and subsequent deterioration of renal function. Because the patient’s symptoms stone size do not predict loss function because there is no clear time threshold for irreversible damage, treatment should be strongly considered any patient with stones. In this study we are compari...

To investigate whether prostatic calculi might influence the urinary retention (UR) probability, the quality of life (QOL) and the positive rate of cancer after prostate biopsy in middle-aged and old male with PSA higher than normal. This study comprised a retrospective analysis of data from 685 patients (prostatic calculi group 325 VS non-prostatic calculi group 360), those who had undergone t...

OBJECTIVES To review the few published cases of prostatic calculi, a rare condition in children, and to report three further cases. METHODS The databases PUBMED and HINARI were searched using the keywords 'childhood' and 'prostatic calculi'; the search included reports from 1956 to the present. Further cases from three families with children having prostatic calculi are reported here. RESUL...

We discuss the general scheme of building resolution calculi (also called the inverse method) originating from S. Maslov and G. Mints. A survey of resolution calculi for various nonclassical logic is presented, along with several common properties these calculi possess.

We have noted an increased number of calculi submitted to the Gerald V. Ling Urinary Stone Analysis Laboratory, University of California, Davis, that do not contain crystalline material but appear to be composed of dried solidified blood (DSB). Canine and feline laboratory records from 1986-2003 were reviewed for samples composed of >99% DSB. No calculi from dogs were found, but specimens from ...

Calculi in the urethra are an uncommon entity. Giant calculi in prostatic urethra are extremely rare. The decision about treatment strategy of calculi depends upon the size, shape, and position of the calculus and the status of the urethra. If the stone is large and immovable, it may be extracted via the perineal or the suprapubic approach. In most of the previous reported cases, giant calculi ...

Bladder calculi, a rare condition in the pediatric population, occur most commonly as a result of either migration from the kidney or urinary stasis in the bladder. We report the case of a 3-year-old boy with recurrent urinary tract infections (UTI) secondary to bladder calculi formation on the sutures from a previous herniorrhaphy.A 3-year-old boy with previous history of herniorrhaphy present...

Situation awareness and geographic information systems in dynamic spatial systems such as road traffic management (RTM) aim to detect and predict critical situations on the basis of relations between entities. Such relations are described by qualitative calculi, each of them focusing on a certain aspect (e. g., topology). Since these calculi are defined isolated from each other, dependencies be...

In the field of artificial intelligence, it is important to draw conclusions even if there is no complete information. The mathematical approach of qualitative calculi has so far mainly been used for reasoning about space or time. The paper and talk adapts the quantitative techniques for describing universes which are structured as directed graphs. Areas of application are networks, for example...