Results 11 to 20 of about 10,155,973 (298)
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
Is natural SUSY natural? [PDF]
26 pages, 8 figures, V3: JHEP ...
openaire +2 more sources
Newsletter of the Isaac Centre for Nature Conservation [PDF]
Third newsletter of the Isaac Centre for Nature ...
Isaac Centre for Nature Conservation
core +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
Actively Noticing Nature (Not Just Time in Nature) Helps Promote Nature Connectedness [PDF]
The climate and biodiversity crises reveal a failing human-nature relationship. The psychological construct of nature connectedness provides a means for understanding and improving that relationship.
Butler, Carly +9 more
core +1 more source

