Results 41 to 50 of about 101,769 (199)

On generic context lemmas for lambda calculi with sharing [PDF]

, 2007
This paper proves several generic variants of context lemmas and thus contributes to improving the tools to develop observational semantics that is based on a reduction semantics for a language.
Sabel, David, Schmidt-Schauß, Manfred
core   +2 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, A. Avron, A. Avron and B. Konikowska, A. Ciabattoni, G. Metcalfe, and F. Monta, D. Larchey-Wendling, F. Bobillo, M. Delgado, J. Gómez-Romero,, F. Wolter, G. Priest, George Metcalfe, K. Gödel, L. Godo, P. Hájek, and F. Esteva, M. C. Fitting, M. C. Fitting, M. Dummett, Martin Giese, Nicola Olivetti, O. Sonobe, P. Hájek, P. Hájek, R. Dyckhoff, S. Schockaert, M. De Cock, and E. Kerre, U. Straccia, X. Caicedo and R. Rodríguez, Z. Zhang, Y. Sui, C. Cao, and G. Wu   +23 more
core   +1 more source

Dual-Energy Multidetector Computed Tomography: A Highly Accurate Non-Invasive Tool for in Vivo Determination of Chemical Composition of Renal Calculi

Galician Medical Journal, 2021
Introduction. Computed tomography is more accurate than excretory urography in evaluation of renal stones due to its high sensitivity and temporal resolution; it permits sub-millimetric evaluation of the size and site of calculi but cannot evaluate their
Shafqat Shabir Bhawani, Majid Jehangir, Mohammad Masood, Sajjad Ahmad Dar, Sajad Nazir Syed   +4 more
doaj   +1 more source

Twist Sequent Calculi for S4 and its Neighbors [PDF]

EPTCS 415, 2024, pp. 16-32
Two Gentzen-style twist sequent calculi for the normal modal logic S4 are introduced and investigated. The proposed calculi, which do not employ the standard logical inference rules for the negation connective, are characterized by several twist logical inference rules for negated logical connectives.
arxiv   +1 more source

Methuosis Inducer SGI‐1027 Cooperates with Everolimus to Promote Apoptosis and Pyroptosis by Triggering Lysosomal Membrane Permeability in Renal Cancer

Advanced Science
The mTOR inhibitor everolimus has been approved as a sequential or second‐line therapy for renal cell carcinoma (RCC). However, the development of drug resistance limits its clinical applications.
Yu Luo, Bing Guan, Xiaoqi Deng, Peide Bai, Haichao Huang, Chaohao Miao, Anran Sun, Zhipeng Li, Dianqiang Yang, Xuegang Wang, Zhiqiang Shao, Yulong Wu, Jinchun Xing, Bin Chen, Tao Wang   +14 more
doaj   +1 more source

Comparing several calculi for first-order infinite-valued Łukasiewicz logic [PDF]

, 2018
From the viewpoint of provability, we compare some Gentzen-type hypersequent calculi for first-order infinite-valued {\L}ukasiewicz logic and for first-order rational Pavelka logic with each other and with H\'ajek's Hilbert-type calculi for these logics. The key aspect of our comparison is a density elimination proof for one of the hypersequent calculi
arxiv   +1 more source

Inducing syntactic cut-elimination for indexed nested sequents

, 2018
The key to the proof-theoretic study of a logic is a proof calculus with a subformula property. Many different proof formalisms have been introduced (e.g. sequent, nested sequent, labelled sequent formalisms) in order to provide such calculi for the many
Ramanayake, Revantha
core   +1 more source

A Framework for Program Development Based on Schematic Proof [PDF]

, 1993
Often, calculi for manipulating and reasoning about programs can be recast as calculi for synthesizing programs. The difference involves often only a slight shift of perspective: admitting metavariables into proofs. We propose that such calculi should be
Basin, David, Bundy, Alan, Kraan, Ina, Matthews, Sean   +3 more
core   +1 more source

Classification of bicovariant differential calculi on the Jordanian quantum groups GL_{g,h}(2) and SL_{h}(2) and quantum Lie algebras

, 1998
We classify all 4-dimensional first order bicovariant calculi on the Jordanian quantum group GL_{h,g}(2) and all 3-dimensional first order bicovariant calculi on the Jordanian quantum group SL_{h}(2).
Abdesselam B, Aizawa N, Andrew D Jacobs, Aneva B L, Arutuynov G E, Ballesteros A, Bergman G, Bremner M, Bresser K, Brzezinski T, Chari V, Cho S, Connes A, Connes A, Delius G W, Delius G W, Demidov E E, Demidov E E, Donin J, Faddeev L D, Flanders H, Gurevich D I, Hearn A C, Heckenberger I, J F Cornwell, Jurco B, Karimpour V, Karimpour V, Koszul J L, Lazarev A Yu, Madore J, Majid S, Maltsiniotis G, Manin Yu I, Manin Yu I, McConnell J C, Mukhin E E, Müller Hoissen F, Müller Hoissen F, Müller Hoissen F Differential calculi on quantum (sub-)groups, Müller-Hoissen F, Ohn C, Reshetikhin N Yu, Schirrmacher A, Schmüdgen K, Schmüdgen K, Segal I, Van der Jeugt J, Woronowicz S L, Woronowicz S L, Zakrzewski S   +50 more
core   +1 more source

Vascular Calcification and Stone Disease: A New Look towards the Mechanism

Journal of Cardiovascular Development and Disease, 2015
Calcium phosphate (CaP) crystals are formed in pathological calcification as well as during stone formation. Although there are several theories as to how these crystals can develop through the combined interactions of biochemical and biophysical factors,
Allen J. Yiu, Daniel Callaghan, Razia Sultana, Bidhan C. Bandyopadhyay   +3 more
doaj   +1 more source