Urinary calculi constitute one of the oldest afflictions of humans as well as animals, which are occurring globally. The calculi vary in shape, size and composition, which influence their clinical course. They are usually of the mixed-type with varying percentages of the ingredients. In medical management of urinary calculi, either the nature of calculi is to be known or the exact composition o...

In this paper we investigate the tableau systems corresponding to hypersequent calculi. We call these systems hypertableau calculi. We define hypertableau calculi for some propositional intermediate logics. We then introduce path-hypertableau calculi which are simply defined by imposing additional structure on hypertableaux. Using pathhypertableaux we define analytic calculi for the intermediat...

We present new sequent calculi for Lewis’ logics of counterfactuals. The calculi are based on Lewis’ connective of comparative plausibility and modularly capture almost all logics of Lewis’ family. Our calculi are standard, in the sense that each connective is handled by a finite number of rules with a fixed and finite number of premises; internal, meaning that a sequent denotes a formula in th...

Prostatic calculi are common and are associated with inflammation of the prostate. Recently, it has been suggested that this inflammation may be associated with prostate carcinogenesis. The aim of this study was to investigate the relationship between prostatic calculi and prostate cancer (PCa) in prostate biopsy specimens. We retrospectively analyzed 417 consecutive patients who underwent tran...

introduction: our aim was compare of two types of lithotripter include holmium: yag laser and pneumatic one in transurethral ureterolithotripsy (tul) for the management of ureteral calculi ≥1 cm. methods: 112 patients with ureteral calculi more than 1 cm were selected in randomized order for pneumatic or holmium: yag laser transurethral ureterolithotripsy (56 patients in each group). ultrasonog...

CONTEXT The identification and evaluation of activities capable of dislodging calyceal renal calculi require a patient surrogate or validated functional pyelocalyceal renal model. OBJECTIVE To evaluate roller coaster facilitation of calyceal renal calculi passage using a functional pyelocalyceal renal model. METHODS A previously described adult ureteroscopy and renoscopy simulator (Ideal An...

It is well-known [7] that the standard formalizations of classical and intuitionistic logic based on Hilbert calculi, sequent calculi and natural deduction are equivalent. In spite of this, proof-search has been mainly developed around the notion of sequent calculi almost neglecting the cases of natural deduction and Hilbert calculi. This is primarily motivated by the fact that the latters lack...

In this paper we focus on proof methods and theorem proving for normal conditional logics, by describing nested sequent calculi as well as a theorem prover for them. Nested sequent calculi are a useful generalization of ordinary sequent calculi, where sequents are allowed to occur within sequents. Nested sequent calculi have been profitably employed in the area of (multi)-modal logic to obtain ...

819 Large Prostatic Calculi Causing Urethral Obstruction Sung Hyun Paick, Sung Wook Yoon, Minki Baek, Hyeong Gon Kim, Yong Soo Lho From the Department of Urology, Konkuk University College of Medicine, Seoul, Medwin Urology Clinic, Hanam, Korea Although prostatic calculi are common, complications are fortunately rare. Here, we report a case of prostatic calculi causing urethral obstruction. A 6...