Results 11 to 20 of about 88,506 (298)
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
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 +7 more sources
The Basics of Display Calculi [PDF]
, 2017 The aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem.
Eckhardt, Timo +3 more
core +2 more sources
Dual-Context Calculi for Modal Logic [PDF]
, 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 +4 more sources
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
Towards a Proof Theory of G\"odel Modal Logics [PDF]
, 2011 Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic.
A. Avron +23 more
core +1 more source
Single-session ureteroscopic pneumatic lithotripsy for the management of bilateral ureteric stones
International Brazilian Journal of Urology, 2012 PURPOSE: In nowadays there is no consensus on single-session ureteroscopic lithotripsy (URSL) for the management of bilateral ureteric stones. The aim of this study was to evaluate efficacy and safety of single-session URSL in patients with bilateral ...
Kenan Isen
doaj +1 more source
Clinical Practice and Cases in Emergency Medicine, 2020 Urolithiasis is a condition with calculi commonly found within the kidney, ureter, or bladder. The urethra is an uncommon location of urolithiasis, with limited case reports and literature reviews of its presentation and management. Here we discuss a 24-year-old female who presented with urinary urgency, flank pain, and urinary retention for 12 hours ...
Lee, Perry, Haber, Jordana
openaire +5 more sources
Impact of COVID‐19 pandemic on patients with obstructing urinary stones complicated by infection
BJUI Compass, 2022 Objective To assess the influence of COVID‐19‐imposed life changes on presentation and outcomes of patients with obstructing urinary stones complicated by infection.
Haim Herzberg +7 more
doaj +1 more source
Impact of obesity on ureteroscopic laser lithotripsy of urinary tract calculi
International Brazilian Journal of Urology, 2009 Purpose: The treatment of urinary tract stones in obese patients may differ from the treatment of non-obese patients and their success rate varies. Our objective was to compare ureteroscopic treatment outcomes of ureteral and renal stones, stratified for
Ricardo Natalin +3 more
doaj +1 more source