Results 41 to 50 of about 578,113 (185)
The Basics of Display Calculi [PDF]
, 2017 The aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem.
Eckhardt, Timo +3 more
core +2 more sources
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.
openaire +2 more sources
Cut elimination by unthreading
Archive for Mathematical Logic, 2023 AbstractWe provide a non-Gentzen, though fully syntactical, cut-elimination algorithm for classical propositional logic. The designed procedure is implemented on $$\textsf{GS4}$$ GS 4 , the one-sided version of Kleene’s sequent system $$\textsf{G4}$$
openaire +4 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
Revisiting the correspondence between cut-elimination and normalisation [PDF]
, 2000 Cut-free proofs in Herbelin's sequent calculus are in 1-1 correspondence with normal natural deduction proofs. For this reason Herbelin's sequent calculus has been considered a privileged middle-point between L-systems and natural deduction.
Espírito Santo, José
core +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
On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
Bulletin of the Section of Logic, 2023 We consider an approach to propositional synonymy in proof-theoretic semantics that is defined with respect to a bilateral G3-style sequent calculus \(\mathtt{SC2Int}\) for the bi-intuitionistic logic \(\mathtt{2Int}\). A distinctive feature of \(\mathtt{
Sara Ayhan, Heinrich Wansing
doaj +1 more source
Generating facets for the cut polytope of a graph by triangular elimination [PDF]
, 2006 The cut polytope of a graph arises in many fields. Although much is known about facets of the cut polytope of the complete graph, very little is known for general graphs. The study of Bell inequalities in quantum information science requires knowledge of
Avis, David +2 more
core +2 more sources
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