Results 41 to 50 of about 1,125,186 (250)
Organon F, 2019 100 years ago C.I. Lewis published A Survey of Symbolic Logic, which included an axiom system for a notion of implication which was ‘stricter’ than that found in Whitehead and Russell’s Principia Mathematica.
Max Cresswell
doaj +1 more source
Molecular Oncology, EarlyView.Enterotoxigenic Bacteroides fragilis is a gut bacterium linked to bowel cancer. We propose that its toxin acts along two routes: at the cell surface, cutting the adhesion protein E‐cadherin and triggering inflammation; and inside the cell, delivered by bacterial vesicles, switching on NOD1 and cancer stem cell programs.
Kangchan Choi +2 more
wiley +1 more source
Towards a Proof Theory of G\"odel Modal Logics [PDF]
Logical Methods in Computer Science, 2011 Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic.
George Metcalfe, Nicola Olivetti
doaj +1 more source
Phonetic Possibility and Modal Logic [PDF]
, 2007 In this paper I propose a formalization, using modal logic, of the notion of possibility that phoneticians use when they judge speech sounds to be possible or impossible.
Sharlow, Mark
core
Directed evolution of enzymes at the crossroads of tradition and innovation
FEBS Open Bio, EarlyView.An iterative cycle of data‐driven enzyme optimization comprising four stages: genetic diversification of a template enzyme, expression of protein variants, high‐throughput evaluation, and machine‐learning‐guided redesign of the next variant library.
Maria Tomkova +2 more
wiley +1 more source
Inadequacy of Modal Logic in Quantum Settings [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We test the principles of classical modal logic in fully quantum settings. Modal logic models our reasoning in multi-agent problems, and allows us to solve puzzles like the muddy children paradox.
Nuriya Nurgalieva, Lídia del Rio
doaj +1 more source
Patients improve, patterns persist: longitudinal stability of RA joint involvement patterns
Arthritis Care &Research, Accepted Article.Objective Rheumatoid arthritis is a heterogeneous disease. Data‐driven approaches, from synovial histology to joint involvement patterns (JIPs), have sought to define clinically meaningful subgroups. Whether these subgroups represent stable phenotypes or transient disease states remains unclear.
Tjardo Maarseveen +24 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective This study synthesized the content and reporting completeness of published physical therapist–led interventions for glenohumeral osteoarthritis (GHOA). Methods This systematic review undertook electronic database searches in PubMed, EMBASE, Cochrane, CINAHL, and PEDro (until June 2025) for any peer‐reviewed articles or studies describing ...
Daha G. Muhammad +5 more
wiley +1 more source
Unification in Modal Logic [PDF]
, 2019 In this talk, we will give a survey of the results on unification in modal logic and we will present some of the open problems whose solution will have a great impact on the future of the area. After an introductory part about unification in equational theories, we will consider the case of Boolean unification, we will study the unification problem in ...
openaire +2 more sources
Lindstrom theorems for fragments of first-order logic [PDF]
Logical Methods in Computer Science, 2009 Lindstr\"om theorems characterize logics in terms of model-theoretic conditions such as Compactness and the L\"owenheim-Skolem property. Most existing characterizations of this kind concern extensions of first-order logic.
Johan van Benthem +2 more
doaj +1 more source