Results 241 to 250 of about 117,954 (285)
Wild-type MIC distribution and evaluation of epidemiological cut-offs of second-line TB-drugs in susceptible and MDR-TB clinical isolates from Chennai, India. [PDF]
Front MicrobiolDusthackeer A +7 more
europepmc +1 more source
Endogenous Levels, Detection Time, and Symptoms of Gamma-Hydroxybutyric Acid: Results From a Placebo-Controlled Clinical Trial. [PDF]
Basic Clin Pharmacol ToxicolFaldborg KB +3 more
europepmc +1 more source
Cut-Elimination for Quantified Conditional Logic
Journal of Philosophical Logic, 2016 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Christoph Benzmüller
exaly +4 more sources
Mathematical Structures in Computer Science, 2017 We investigate cut elimination in multi-focused sequent calculi and the impact on the cut elimination proof of design choices in such calculi. The particular design we advocate is illustrated by a multi-focused calculus for full linear logic using an explicitly polarised syntax and incremental focus handling, for which we provide a syntactic cut ...
Taus Brock-Nannestad, Nicolas Guenot
openaire +2 more sources
, 2011 This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs ...
Alexander Leitsch, Matthias Baaz
exaly +3 more sources
Cut-Elimination: Experiments with CERES
, 2005 Cut-elimination is the most prominent form of proof transformation in logic. The elimination of cuts in formal proofs corresponds to the removal of intermediate statements (lemmas) in mathematical proofs. The cut-elimination method CERES (cut-elimination by resolution) works by constructing a set of clauses from a proof with cuts.
Matthias Baaz +4 more
openaire +2 more sources