Results 71 to 80 of about 3,345 (227)
Fight Like a Girl: Fitness Testing as Gendered Organizational Logic in the U.S. Army
ABSTRACT Organizational logics related to excellence and equity are changing rapidly in contemporary workplaces, yet limited research examines the impacts of specific policy initiatives, including why some fail—or even backfire. This study examines one such recent policy case: a temporary period of gender‐neutral fitness testing in the United States ...
Carrie Carter
wiley +1 more source
The ubiquity of conservative translations
We study the notion of conservative translation between logics introduced by Feitosa and D'Ottaviano. We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can
da Silva +8 more
core +1 more source
Abstract It is well‐recognized in the sciences that a multitude of nonequivalent models are used by researchers to fulfill a range of goals, even for the same target system, a result known broadly as model pluralism. The possibility of the same form of pluralism occurring in logic, however, has not been adequately considered.
Ben Martin
wiley +1 more source
Tool support for reasoning in display calculi [PDF]
We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone.
Balco, Samuel +4 more
core +2 more sources
From wells to windmills: Resource redeployment and new technology investment in the energy sector
Abstract Research Summary This study examines how multi‐business firms redeploy resources following an industry shock. Using the case of oil and gas firms diversified into wind power, I show that firms reduced expenditure in oil and gas—particularly on complex offshore projects—while increasing investment in wind after the 2014 oil price crash.
Aldona Kapacinskaite
wiley +1 more source
LP, K3, and FDE as Substructural Logics [PDF]
Building on recent work, I present sequent systems for the non-classical logics LP, K3, and FDE with two main virtues. First, derivations closely resemble those in standard Gentzen-style systems.
Shapiro, Lionel
core
ABSTRACT Direct‐developing species lack the pelagic larval phase which facilitates connectivity in most marine species. Consequently, they tend to exhibit spatially restricted dispersal and increased population structure. When subject to harvesting, this biological constraint increases their vulnerability to localized depletion, as local aggregations ...
Cassidy C. D'Aloia +8 more
wiley +1 more source
Constructive Logic with Strong Negation is a Substructural Logic. II [PDF]
The goal of this two-part series of papers is to show that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFL ew of the substructural logic FL ew .
Spinks, M., Veroff, R.
core
On Multilevel Energy‐Based Fragmentation Methods
We investigate the working equations of energy‐based fragmentation methods and present ML‐SUPANOVA, a Möbius‐inversion‐based multilevel fragmentation scheme that enables adaptive, quasi‐optimal truncations to efficiently approximate Born‐Oppenheimer potentials across hierarchies of electronic‐structure methods and basis sets.
James Barker +2 more
wiley +1 more source

