Results 11 to 20 of about 9,842,963 (288)
The Naturality of Natural Deduction [PDF]
Developing a suggestion by Russell, Prawitz showed how the usual natural deduction inference rules for disjunction, conjunction and absurdity can be derived using those for implication and the second order quantifier in propositional intuitionistic second order logic $NI^2$.
Luca Tranchini +2 more
openaire +4 more sources
Nature Natured and Nature Denatured [PDF]
AbstractThose who want to observe, analyze, and make judgments about synthetic biology need to think about where to stand in the world so as to get an informed sense of which new capacities and incapacities are actual and which matter. They will need something like “upstream ethics”—but not because they want to “get ahead” of the imagined onslaught of ...
openaire +2 more sources
Naturally Full Functors in Nature [PDF]
We introduce and discuss the notion of naturally full functor. The definition is similar to the definition of separable functor: a naturally full functor is a functorial version of a full functor, while a separable functor is a functorial version of a faithful functor. We study general properties of naturally full functors.
ARDIZZONI, Alessandro +3 more
openaire +5 more sources
The Nature of Nature as a Stakeholder [PDF]
There is a longstanding debate in the stakeholder literature as to who and what really counts as the stakeholders of the firm. Likewise, there have been discussions on whether nature should be considered a stakeholder of the firm. However, one seldom encounters any definitions of the key concepts, that is of nature or the natural environment.
openaire +2 more sources
Diverse values of nature for sustainability [PDF]
Data availability: All the data are freely available online. The supplementary information provides links to Zenodo with specific DOIs where the data are stored for free use.Supplementary information is available online at https://static-content ...
Ungar, P +85 more
core +1 more source
Is natural SUSY natural? [PDF]
26 pages, 8 figures, V3: JHEP ...
openaire +2 more sources
A Natural Series for the Natural Logarithm [PDF]
Rodriguez Villegas expressed the Mahler measure of a polynomial in terms of an infinite series. Lück's combinatorial $L^2$-torsion leads to similar series expressions for the Gromov norm of a knot complement. In this note we show that those formulae yield interesting power series expansions for the logarithm function.
openaire +3 more sources

