Results 51 to 60 of about 101,769 (199)
A note on calculi for non-deterministic many-valued logics [PDF]
Fundamenta Informaticae, Volume 186, Issues 1-4: Trakhtenbrot's
centenary (January 2, 2023) fi:8847, 2021 We present two deductively equivalent calculi for non-deterministic many-valued logics. One is defined by axioms and the other - by rules of inference. The two calculi are obtained from the truth tables of the logic under consideration in a straightforward manner.
arxiv
Percutaneous intervention of large bladder calculi in neuropathic voiding dysfunction
International Brazilian Journal of Urology, 2011 PURPOSE: To report our results and rationale for treating large bladder calculi in patients with neuropathic voiding dysfunction (NVD) using percutaneous cystolithalopaxy.
Chad P. Hubsher, Joseph Costa
doaj +1 more source
Labelled calculi for quantified modal logics with definite descriptions [PDF]
arXiv, 2020 We introduce labelled sequent calculi for quantified modal logics with definite descriptions. We prove that these calculi have the good structural properties of G3-style calculi. In particular, all rules are height-preserving invertible, weakening and contraction are height-preserving admissible and cut is admissible.
arxiv
Expressiveness Results for Timed Modal Mu-Calculi [PDF]
arXiv, 2023 This paper establishes relative expressiveness results for several modal mu-calculi interpreted over timed automata. These mu-calculi combine modalities for expressing passage of (real) time with a general framework for defining formulas recursively; several variants have been proposed in the literature. We show that one logic, which we call $L^{rel}_{\
arxiv
Psi-Calculi Revisited: Connectivity and Compositionality [PDF]
Logical Methods in Computer Science, Volume 16, Issue 4 (December
15, 2020) lmcs:5767, 2019 Psi-calculi is a parametric framework for process calculi similar to popular pi-calculus extensions such as the explicit fusion calculus, the applied pi-calculus and the spi calculus. Mechanised proofs of standard algebraic and congruence properties of bisimilarity apply to all calculi within the framework.
arxiv +1 more source
Combined calculi for photon orbital and spin angular momenta
, 2014 Context. Wavelength, photon spin angular momentum (PSAM), and photon orbital angular momentum (POAM), completely describe the state of a photon or an electric field (an ensemble of photons).
Elias II, Nicholas M.
core +1 more source
A criterion for separating process calculi [PDF]
, 2010 We introduce a new criterion, replacement freeness, to discern the relative expressiveness of process calculi. Intuitively, a calculus is strongly replacement free if replacing, within an enclosing context, a process that cannot perform any visible ...
A. Lapadula +38 more
core +4 more sources
A middle aged women with bilateral staghorn complete calculi
The Pan African Medical Journal, 2014 A 50-year-old woman presented with a 2-years history of chronic flanc and hematuria. Plain abdominal radiography was performed showing bilateral complete staghorn calculi.
Jihad El Anzaoui, Driss Touiti
doaj +1 more source
Sialodocholithiasis - A case report and review
Indian Journal of Dental Sciences, 2020 A majority of sialoliths occur in the submandibular gland or its duct and are a common cause of acute and chronic infections. This report describes the case of a patient who had an unusual submandibular gland duct sialolith (calculus) that was completely
Ashima Bali Behl +3 more
doaj +1 more source
Non normal logics: semantic analysis and proof theory
, 2019 We introduce proper display calculi for basic monotonic modal logic,the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property.
Chen, Jinsheng +3 more
core +2 more sources