Results 281 to 290 of about 2,879,484 (330)

Analgesic and sedative drug dosing in critically ill patients with Acute Kidney Injury undergoing different modalities of Kidney Replacement Therapy. [PDF]

J Anesth Analg Crit Care
Di Mario F, Regolisti G, Pacchiarini MC, Di Motta T, Picetti E, Petranca M, Pistolesi V, Morabito S, Percudani U, Antonucci E, Fiaccadori E.   +10 more
europepmc   +1 more source

Cut-elimination for SBL

Cut-elimination for SBL
openaire  

When Digital Health Falls Short: Limited Validity of an AI-Powered App for Dietary Assessment in Females with Obesity

Serra M, Alceste D, Jucker N, Haupt L, Elben S, Müller S, Hulshof PJM, Meijer HAJ, Thalheimer A, Steinert RE, Gerber PA, Spector AC, Gero D, Bueter M.   +13 more
europepmc   +1 more source

Novikov's cut elimination

Logique et Analyse, 2018
This is an exposition of Novikov's cut-elimination procedure for a Hilbert-style formulation of the first-order predicate calculus, which depends on a property of formulas introduced by him, called 'regularity'. A comparison with other methods is outlined.
L. Bellotti
semanticscholar   +3 more sources

Some of the next articles are maybe not open access.

Related searches:

Cut-Elimination: Syntax and Semantics

Studia Logica, 2014
This article concerns the cut-elimination by resolution (CERES) method for first-order logic [\textit{M. Baaz} et al., Lect. Notes Comput. Sci. 3452, 481--495 (2005; Zbl 1108.03305)]. Compared with reductive cut-elimination (e.g.\ Gentzen-/Schütte-/Tait-style) which can be viewed as sequences of local reductions, CERES operates globally on LK-proofs ...
M. Baaz, A. Leitsch
semanticscholar   +2 more sources

Large-Range Spurious Mode Elimination for Wideband SAW Filters on LiNbO₃/SiO₂/Si Platform by LiNbO₃ Cut Angle Modulation

IEEE Transactions on Ultrasonics, Ferroelectrics and Frequency Control, 2022
A LiNbO3 (LN)/SiO2/Si multilayered structure was recently reported as a new platform for achieving wideband radio frequency (RF) filters. However, the in-band ripples in filters resulting from the spurious Rayleigh mode lead to deteriorated performance ...
Huiping Xu, Sulei Fu, Junyao Shen, Zengtian Lu, Rongxuan Su, Rui Wang, C. Song, F. Zeng, Weibiao Wang, F. Pan   +9 more
semanticscholar   +1 more source

Cut-Elimination for Quantified Conditional Logic

Journal of Philosophical Logic, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Christoph Benzmüller
semanticscholar   +2 more sources

Cut Elimination In Situ

, 2015
We present methods for removing top-level cuts from a sequent calculus or Tait-style proof without significantly increasing the space used for storing the proof. For propositional logic, this requires converting a proof from tree-like to dag-like form, but at most doubles the number of lines in the proof.
S. Buss
semanticscholar   +2 more sources

CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME

The Review of Symbolic Logic, 2019
This is a sequel article to [10] where a hypersequent calculus (HC) for some temporal logics of linear frames including Kt4.3 and its extensions for dense and serial flow of time was investigated in detail.
Andrzej Indrzejczak
semanticscholar   +1 more source