Results 11 to 20 of about 146,242 (384)
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
Calculi for synchrony and asynchrony [PDF]
Theoretical Computer Science, 1983 AbstractA calculus for distributed computation is studied, based upon four combinators. A central idea is an Abelian group of actions which models the interfaces between components of a distributed computing agent. Using a notion of bisimulation, congruence relations are defined over computing agents, and thence an algebraic theory is derived.
R. Milner
openaire +3 more sources
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
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
Management of Pancreatic Calculi: An Update
Gut and Liver, 2016 Pancreatolithiasis, or pancreatic calculi (PC), is a sequel of chronic pancreatitis (CP) and may occur in the main ducts, side branches or parenchyma. Calculi are the end result, irrespective of the etiology of CP.
M. Tandan, R. Talukdar, D. Reddy
semanticscholar +1 more source
Cut-free Calculi and Relational Semantics for Temporal STIT Logics [PDF]
, 2019 We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as
AN Prior +19 more
core +4 more sources
Obstructive urolithiasis in ruminants AND#8211; A review
Veterinary World, 2013 Obstructive urolithiasis is the retention of urine subsequent to lodgment of calculi anywhere in the urinary conduct from up to urethral orifice. The disease results in heavy economic losses to the livestock industry as it is attributed the fifth most ...
Mohsin A Gazi, D. M Makhdoomi
doaj +1 more source
Clinical Significance of Prostatic Calculi: A Review
The World Journal of Men's Health, 2017 Prostatic calculi often occur in middle-aged and old men. Prostatic calculi are usually classified as primary/endogenous stones or secondary/extrinsic stones. Endogenous stones are commonly caused by obstruction of the prostatic ducts around the enlarged
J. Hyun
semanticscholar +1 more source
Matrix Parameterized Pseudo-differential Calculi on Modulation Spaces [PDF]
, 2016 We consider a broad matrix parameterized family of pseudo-differential calculi, containing the usual Shubin’s family of pseudo-differential calculi, parameterized by real numbers.
J. Toft
semanticscholar +1 more source