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...

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 ...

There are many techniques have been used in the surgical treatment of prostatitis, prostatic abscesses and prostatic cysts. Partial or complete prostatectomy, marsupialization, or debridement and drainage have all been advocated; unfortunately all of these techniques are associated with complications such as incontinence, cyst or abscess recurrence, etc. More recently, prostatic omentalization ...

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...

The next challenge in qualitative spatial and temporal reasoning is to develop calculi that deal with different aspects of space and time. One approach to achieve this is to combine existing calculi that cover the different aspects. This, however, can lead to calculi that have a very large number of relations and it is a matter of ongoing discussions within the research community whether such l...

In their seminal paper Artemov and Protopopescu provide Hilbert formal systems, Brower–Heyting–Kolmogorov Kripke semantics for the logics of intuitionistic belief knowledge. Subsequently Krupski has proved that logic knowledge is PSPACE-complete Su Sano have provided calculi enjoying subformula property. This continues investigations around sequent Intuitionistic Epistemic Logics by providing p...