Results 41 to 50 of about 27,151 (281)

Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae [PDF]

Logical Methods in Computer Science, 2016
Je\v{r}\'abek showed that cuts in classical propositional logic proofs in deep inference can be eliminated in quasipolynomial time. The proof is indirect and it relies on a result of Atserias, Galesi and Pudl\'ak about monotone sequent calculus and a ...
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot   +3 more
doaj   +1 more source

A Hydrodynamic Bioreactor for High‐Yield Production of Extracellular Vesicles from Stem Cell Spheroids with Defined Cargo Profiling

Advanced Science, EarlyView.
This study harnesses hydrodynamic flows to generate, confine and stimulate stem cell spheroids, enabling the large‐scale production of extracellular vesicles (EVs). This innovative method not only streamlines spheroid formation and subsequent EV release in a single, integrated process, but also ensures the generation of EVs with enhanced biological ...
Solène Lenoir, Elliot Thouvenot, Giacomo Gropplero, Léonie Dec, Damarys Loew, Clotilde Théry, Jose E Perez, Claire Wilhelm   +7 more
wiley   +1 more source

The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)

Bulletin of the Section of Logic, 2021
We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to
Damian E. Szmuc
doaj   +1 more source

Fixed-point elimination in the intuitionistic propositional calculus

, 2016
It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the algebraic models of the Intuitionistic Propositional Calculus-always exist, even when these algebras are not complete
A Arnold, A Bauer, A Kock, Albert Visser, AM Pitts, D Kozen, F Dau, G D’Agostino, G D’Agostino, G Gentzen, G Kelly, JRB Cockett, L Alberucci, L Alberucci, N Bertrand, P Clairambault, S Frittella, S Ghilardi, S Ghilardi, SI Mardaev, SI Mardaev, W Ruitenburg   +21 more
core   +2 more sources

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Classical Combinatory Logic [PDF]

Discrete Mathematics & Theoretical Computer Science, 2005
Combinatory logic shows that bound variables can be eliminated without loss of expressiveness. It has applications both in the foundations of mathematics and in the implementation of functional programming languages.
Karim Nour
doaj   +1 more source

Approximating Propositional Calculi by Finite-valued Logics [PDF]

, 1994
The problem of approximating a propositional calculus is to find many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few tautologies as possible.
Baaz, Matthias, Zach, Richard
core   +1 more source

Spin Matters: A Multidisciplinary Roadmap to Understanding Spin Effects in Oxygen Evolution Reaction During Water Electrolysis

Advanced Energy Materials, EarlyView.
This roadmap offers a forward‐looking perspective on spin enhancement in the oxygen evolution reaction. It highlights how combining systematic experiments, advanced computational modeling, and novel magnetic, chiral, or hybrid materials can deepen the understanding of spin‐dependent catalytic mechanisms.
Emma van der Minne, Priscila Vensaus, Vadim Ratovskii, Seenivasan Hariharan, Jan Behrends, Cesare Franchini, Jonas Fransson, Sarnjeet S. Dhesi, Felix Gunkel, Florian Gossing, Georgios Katsoukis, Ulrike I. Kramm, Magalí Lingenfelder, Qianqian Lan, Yury V. Kolen'ko, Yang Li, Ramsundar Rani Mohan, Jeffrey McCord, Lingmei Ni, Eva Pavarini, Rossitza Pentcheva, David H. Waldeck, Michael Verhage, Anke Yu, Zhichuan J. Xu, Piero Torelli, Silvia Mauri, Narcis Avarvari, Anja Bieberle‐Hütter, Christoph Baeumer   +29 more
wiley   +1 more source

Strategic Advocacy for Higher Education Research: Insights From US Agricultural Experiment Station Funding

Applied Economic Perspectives and Policy, EarlyView.
ABSTRACT Amidst dwindling state funding and the legislative withdrawal from public university research support, a heightened political process shapes the allocation of scarce tax dollars. This article explores how advocacy within the political process influences funding support for higher education from state legislatures.
Gregory M. Perry, Trey Malone, Jay T. Akridge   +2 more
wiley   +1 more source

On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus

Mathematical Problems of Computer Science, 2022
The sizes of linear and tree-like proofs for any formulae families are investigated in some systems of propositional calculus: in different sequent systems (with quantifier rules, with the substitution rule, with the cut rule, without the cut rule ...
Levon A. Apinyan, Anahit A. Chubaryan
doaj   +1 more source