Results 31 to 40 of about 118,936 (260)

Partial cut elimination for combinations of propositional multi-modal logics with past time

Lietuvos Matematikos Rinkinys, 2011
We consider combinations of nine propositional multi-modal logics with propositional discrete linear time temporal logic with past time. For these combinations, we present sound and complete Gentzen-type sequent calculi with a restricted cut rule.
Jūratė Sakalauskaitė
doaj   +1 more source

An Investigation into the Multi-Pass Radial-Mode Micro Abrasive Air Jet Turning of Fused-Silica Rods

Machines, 2023
With the increased requirement of miniaturization structures on hard and brittle substrates, micro abrasive air jet turning technology has become a promising machining technology for manufacturing miniaturization structures.
Ruibo Yang, Quanlai Li, Weipeng Zhang, Yafeng Deng, Jialin Li   +4 more
doaj   +1 more source

Cut-Elimination and Quantification in Canonical Systems [PDF]

Studia Logica, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Anna Zamansky, Arnon Avron
openaire   +1 more source

Composite power system reliability evaluation using modified minimal cut set approach

Alexandria Engineering Journal, 2018
The composite power system reliability analysis is generally based on minimal path or cut enumeration, tracing of power flow paths from which the related reliability indices are calculated.
T. Bharath Kumar, O. Chandra Sekhar, M. Ramamoorty   +2 more
doaj   +1 more source

Cut-Elimination for SBL

, 2020
In this paper we give a terminating cut-elimination procedure for a logic calculus SBL. SBL corresponds to the second order arithmetic Pi^{1}_{2}-Separation and Bar Induction.
openaire   +2 more sources

Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system

FEBS Letters, EarlyView.
Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley   +1 more source

On Combining Intuitionistic and S4 Modal Logic

Bulletin of the Section of Logic
We address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic.
João Rasga, Cristina Sernadas
doaj   +1 more source

Genome-scale metabolic rewiring improves titers rates and yields of the non-native product indigoidine at scale

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, Thomas Eng, Andrew K. Lau, Yusuke Sasaki, Brenda Wang, Yan Chen, Jan-Philip Prahl, Vasanth R. Singan, Robin A. Herbert, Yuzhong Liu, Deepti Tanjore, Christopher J. Petzold, Jay D. Keasling, Aindrila Mukhopadhyay   +13 more
doaj   +1 more source

On Nested Sequents for Constructive Modal Logics [PDF]

Logical Methods in Computer Science, 2015
We present deductive systems for various modal logics that can be obtained from the constructive variant of the normal modal logic CK by adding combinations of the axioms d, t, b, 4, and 5.
Lutz Strassburger, Anupam Das, Ryuta Arisaka   +2 more
doaj   +1 more source

Structural cut elimination

Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 2000
Presents new proofs of cut elimination for intuitionistic, classical and linear sequent calculi. In all cases, the proofs proceed by three nested structural inductions, avoiding the explicit use of multi-sets and termination measures on sequent derivations.
openaire   +2 more sources