Results 61 to 70 of about 2,682,535 (254)
A simple proof that super consistency implies cut elimination [PDF]
, 2011 International audienceWe give a simple and direct proof that super-consistency implies the cut elimination property in deduction modulo. This proof can be seen as a simpli cation of the proof that super-consistency implies proof normalization.
Dowek, Gilles, Hermant, Olivier
core +6 more sources
Nature Communications, 2020 The trade-off between growth and production affects the application of engineered microbes. Here, the authors take the minimal cut set approach to predict metabolic reactions for elimination to couple metabolite production strongly with growth and ...
Deepanwita Banerjee +13 more
doaj +1 more source
Frontiers in Nutrition, 2022 Enormous efforts have been made to evaluate the worldwide prevention and control of iodine deficiency disorders (IDDs). This study evaluated China's achievements in IDD prevention and control against WHO criteria for sustainable elimination of IDD.
Lijun Fan +4 more
doaj +1 more source
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The logic of constant domains is intuitionistic logic extended with the so-called forall-shift axiom, a classically valid statement which implies the excluded middle over decidable formulas.
Federico Aschieri
doaj +1 more source
BMC Pulmonary Medicine, 2022 Background Recent studies support the diagnostic role of bronchoalveolar lavage lymphocytosis (BALL) in patients with suspected hypersensitivity pneumonitis (HP).
Meghan Hill, Tananchai Petnak, Teng Moua
doaj +1 more source
Logical Methods in Computer Science, 2017 We propose new sequent calculus systems for orthologic (also known as minimal quantum logic) which satisfy the cut elimination property. The first one is a simple system relying on the involutive status of negation. The second one incorporates the notion
Olivier Laurent
doaj +1 more source
On intuitionistic branching tense logic with weak induction
Lietuvos Matematikos Rinkinys, 1998 In the paper, the first-order branching tense logic calculus is given: LB J with the weak induction, that is to say with the axiom (A ∧ A O ☐ A) ⊃ ☐ A instead of the induction axiom (A ∧ ☐ (A ⊃ O A)) ⊃ ☐ A.
Romas Alonderis
doaj +3 more sources
Cut-elimination and Normalization Theorems for Connexive Logics over Wansing’s C
Bulletin of the Section of LogicGentzen-style sequent calculi and Gentzen-style natural deduction systems are introduced for a family (C-family) of connexive logics over Wansing’s basic constructive connexive logic C.
Norihiro Kamide
doaj +1 more source
Elimination of Cucumber mosaic virus from gladiolus by meristem tip culture, thermotherapy and electrotherapy [PDF]
مجله بیوتکنولوژی کشاورزی, 2016 Flowers of Gladiolus sp. are among the top six flowers of export value and in Iran take the second place in the production of cut flowers. Cucumber mosaic virus is one of the most common viruses in gladiolus worldwide.
Sorraya Tourang +2 more
doaj +1 more source
Consistency Without Cut Elimination
, 2002 In this note we will show how to get consistency for first order classical logic, in a purely syntactic way, without going through cut elimination. The procedure is very simple and it uses the calculus of structures in an essential way. It also shows how finitaryness (in the sense of finite choice of premises for each rule) is actually a triviality ...
Bruennler, Kai, Guglielmi, Alessio
openaire +2 more sources