Results 51 to 60 of about 2,597 (173)
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
Distribution-Free Modal Logics: Sahlqvist–Van Benthem Correspondence
We present an extension and generalization of Sahlqvist–van Benthem correspondence to the case of distribution-free modal logic, with, or without negation and/or implication connectives.
Chrysafis Hartonas
doaj +1 more source
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
Uniform interpolation and coherence [PDF]
A variety V is said to be coherent if any finitely generated subalgebra of a finitely presented member of V is finitely presented. It is shown here that V is coherent if and only if it satisfies a restricted form of uniform deductive interpolation: that ...
Alizadeh +46 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
When Structural Principles Hold Merely Locally [PDF]
In substructural logics, structural principles may hold in some fragments of a consequence relation without holding globally. I look at this phenomenon in my preferred substructural logic, in which Weakening and Cut fail but which is supra-intuitionistic.
Hlobil, Ulf
core
An Abstract Approach to Consequence Relations
We generalise the Blok-J\'onsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence.
Cintula, Petr +3 more
core +1 more source
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
Algebraic proof theory for LE-logics
In this paper we extend the research programme in algebraic proof theory from axiomatic extensions of the full Lambek calculus to logics algebraically captured by certain varieties of normal lattice expansions (normal LE-logics).
Greco, Giuseppe +4 more
core +1 more source

