Results 81 to 90 of about 578,113 (185)

Cut-elimination for $\omega_{1}$

, 2018
In this paper we calibrate the strength of the soundness of a Kripke-Platek set theory with the axioms of Infinity and \Pi_{1}-Collection with the assumption that`there exists an uncountable regular ordinal' in terms of the existence of ordinals.
openaire   +2 more sources

Proof Theorie: Some applications of cut-elimination [PDF]

, 1977
Barwise, J., Schwichtenberg, Helmut
core   +1 more source

Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics

Bulletin of the Section of Logic
A unified Gentzen-style proof-theoretic framework for until-free propositional linear-time temporal logic and its intuitionistic variant is introduced.
Norihiro Kamide, Sara Negri
doaj   +1 more source

Confluence as a Cut Elimination Property

, 2003
The goal of this note is to compare two notions, one coming from the theory of rewrite systems and the other from proof theory: confluence and cut elimination. We show that to each rewrite system on terms, we can associate a logical system: asymmetric deduction modulo this rewrite system and that the confluence property of the rewrite system is ...
openaire   +2 more sources

Semantic Cut Elimination for the Logic of Bunched Implications and Structural Extensions, Formalized in Coq

, 2022
Frumin D.
europepmc   +1 more source

Topdown Cut-Elimination

Topdown Cut-Elimination
A direct cut-elimination procedure is proposed, which works for the sequent calculi not only of the classical and the intuitionistic logics but also of the standard modal logics. In the procedure, we do not introduce the inference rule mix but eliminate the usual rule cut directly.
openaire  

Kidney REPLACEment therapies in patients with acute kidney injury and RHABDOmyolysis (ReplaceRhabdo): a pilot trial

BMC Nephrology
Background Rhabdomyolysis is frequently associated with acute kidney injury (AKI). Due to the nephrotoxic properties of myoglobin, its rapid removal is relevant.
Lorenz Weidhase, Antonia Borrmann, Anja Willenberg, Meinhard Mende, Christina Scharf-Janßen, Sirak Petros, Jonathan de Fallois   +6 more
doaj   +1 more source

Re-emergence of malaria in Karen State, Myanmar: has the battle of Burma been lost? [PDF]

Malar J
Pateekhum C, Thu AM, Lwin KM, Nyaw SB, Tun SW, Daniel S, Khin A, Aung WL, Kain K, Imwong M, Day NP, White NJ, Nosten FH.   +12 more
europepmc   +1 more source

From DOTS to DOST: a new framework for TB elimination in India. [PDF]

Lancet Reg Health Southeast Asia
Singh UB, Rao R, Mattoo SK, Kumar N, Dhawan V, Garg V, Kushwaha BS, Shah A, Rade K, Chandra S, Cowan SB, Dauphinais M, Sinha P.   +12 more
europepmc   +1 more source

Evaluation of the Use of a Medium Cut-Off Dialyser Theranova 400 for Severe Metaldehyde Intoxication in Three Dogs: Dialytic Clearance and Therapeutic Response. [PDF]

Vet Med Sci
Rodary M, Iannucci C, Lehner AF, Puschner B, Buchweitz JP, Vigani A.   +5 more
europepmc   +1 more source