Results 1 to 10 of about 147,549 (388)
Dual-Context Calculi for Modal Logic [PDF]
Logic in Computer Science, 2020 We present natural deduction systems and associated modal lambda calculi for the necessity fragments of the normal modal logics K, T, K4, GL and S4. These systems are in the dual-context style: they feature two distinct zones of assumptions, one of which
Kavvos, G. A.
core +6 more sources
Frontiers in Surgery, 2021 Background: ShuoTong ureteroscopy (Sotn-ureteroscopy, ST-URS), a new lithotripsy operation method developed on the basis of ureteroscopy, is widely used to treat ureteral stones in China.
Longhui Lai +17 more
doaj +1 more source
Priorities Without Priorities: Representing Preemption in Psi-Calculi [PDF]
, 2014 Psi-calculi is a parametric framework for extensions of the pi-calculus with data terms and arbitrary logics. In this framework there is no direct way to represent action priorities, where an action can execute only if all other enabled actions have ...
Parrow, Joachim, Pohjola, Johannes Åman
core +13 more sources
An Imaging Review on Urinary Tract Calcifications [PDF]
International Journal of Anatomy Radiology and Surgery, 2013 The urinary tract is one of the most important excretory systems in the human body. It consists of the kidneys, ureters, bladder and the urethra. The existence of calcium and other minerals in the excretory contents makes it prone to calcifications in ...
Sushil. G. Kachewar +1 more
doaj +1 more source
Journal of Translational Medicine, 2020 Thiazide diuretics reduce the risk of recurrent kidney calculi in patients with kidney calculi or hypercalciuria. However, whether thiazide diuretics can definitely prevent recurrent kidney calculi remains unclear.
Dan-feng Li +5 more
semanticscholar +1 more source
Modularisation of Sequent Calculi for Normal and Non-normal Modalities [PDF]
ACM Transactions on Computational Logic, 2017 In this work, we explore the connections between (linear) nested sequent calculi and ordinary sequent calculi for normal and non-normal modal logics. By proposing local versions to ordinary sequent rules, we obtain linear nested sequent calculi for a ...
Björn Lellmann, Elaine Pimentel
semanticscholar +1 more source
IJU Case Reports, 2023 Introduction We encountered an extremely rare case of a vesicocutaneous fistula due to vesical diverticulitis with stones. Case presentation A 78‐year‐old male patient presented to our department with complaints of suppurative discharge in the suprapubic
Jun Akatsuka +9 more
doaj +1 more source
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems [PDF]
, 2020 This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined ...
A Ciabattoni +17 more
core +2 more sources
Evaluation of Imaging Abnormalities of Ureter using MDCT Urography [PDF]
International Journal of Anatomy Radiology and Surgery, 2017 Introduction: Computed Tomography (CT) has become the primary imaging modality for assessment of excretory system. It has essentially replaced intravenous urography as the first line imaging modality.
Vedaraju Kadaba Shamachar +3 more
doaj +1 more source
BJU International, 2018 To compare the safety and effectiveness of super‐mini‐percutaneous nephrolithotomy (SMP) and retrograde intrarenal surgery (RIRS) for the treatment of 1–2 cm lower‐pole renal calculi (LPC).
G. Zeng +13 more
semanticscholar +1 more source