Results 51 to 60 of about 32,356 (302)
The Logic of Quantum Mechanics Derived from Classical General Relativity
, 1997 For the first time it is shown that the logic of quantum mechanics can be derived from Classical Physics. An orthomodular lattice of propositions, characteristic of quantum logic, is constructed for manifolds in Einstein's theory of general relativity. A
Hadley, Mark J.
core +1 more source
Philosophia Scientiæ, 2004 Hintikka makes a distinction between two kinds of games: truthconstituting games and truth-seeking games. His well-known game-theoretical semantics for first-order classical logic and its independence-friendly extension belongs to the first class of ...
Denis Bonnay
doaj +1 more source
Comparative Study of Temperature Control in a Heat Exchanger Process [PDF]
Engineering and Technology Journal, 2012 In the present work the dynamic behavior of a plate heat exchanger (PHE) (single pass counter current consists of 24 plates) studied experimentally and theoretically to control the system.
Afraa H. Al-Tae, Safa A. Al-Naimi
doaj +1 more source
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II) [PDF]
Logical Methods in Computer Science, 2020 There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points as a particular case of duration-less intervals.
Willem Conradie +2 more
doaj +1 more source
Semantic pollution and syntactic purity
, 2015 Logical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus.
Read, Stephen
core +1 more source
The ubiquitin‐proteasome system and autophagy as guardians of the cellular proteome
FEBS Letters, EarlyView.This Perspective covers the three principles governing the crosstalk between the ubiquitin‐proteasome system and autophagy in cellular proteostasis: (1) a shared ubiquitin code routing substrates via shuttle factors or autophagy receptors; (2) spatial compartmentalization into phase‐separated degradation hubs and organelle‐specific modules (exemplified
Ivan Dikic
wiley +1 more source
Phosphoinositides and inositol phosphates as molecular glues
FEBS Letters, EarlyView.Inositol phosphates (IPs) and phosphoinositides (PIPs) regulate diverse eukaryotic processes. Beyond recruiting signaling proteins or acting as structural cofactors, recent studies suggest they mediate protein–protein interactions as natural molecular glues.
Aleshia Seaton‐Terry +9 more
wiley +1 more source
Reconciling First-Order Logic to Algebra
, 2018 We start from the algebraic method of theorem-proving based on the translation of logic formulas into polynomials over finite fields, and adapt the case of first-order formulas by employing certain rings equipped with infinitary operations.
Mariana Matulovic +5 more
core +1 more source
Normativity and its vindication: The case of Logic [PDF]
, 2004 Physical laws are irresistible. Logical rules are not. That is why logic is said to be normative. Given a system of logic we have a Norma, a standard of correctness.
Martínez Vidal, Concha +1 more
core +1 more source
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