Results 181 to 190 of about 506,932 (281)

Formalizing Implicational Axiomatics for Classical First-Order Logic with Functions in Isabelle/HOL

open access: yes
We present a concise formalization in the proof assistant Isabelle/HOL of classical first-order logic with functions. Our standalone formalization is based on entries in the Isabelle Archive of Formal Proofs and has recently been used for teaching logic and automated reasoning.
Villadsen, Jørgen, Pettinau, Roberto
openaire   +1 more source

The Contingent Eco‐Innovation–Firm Performance Link: A Global Systematic Literature Review and Future Research Agenda

open access: yesBusiness Strategy and the Environment, EarlyView.
ABSTRACT The relationship between eco‐innovation (EI) and firm performance (FP) is central to environmental management research, yet empirical evidence remains fragmented and highly context dependent. This article presents a global systematic literature review (SLR) of 541 empirical studies (2006–April 2025) to (i) diagnose the systematic sources of ...
Ali Mammadov
wiley   +1 more source

Board Gender Diversity and Environmental Credit Risk in Banking: A Global Study of Bank Governance

open access: yesBusiness Strategy and the Environment, EarlyView.
ABSTRACT This study investigates the relationship between board gender diversity and environmental credit risk in the global banking sector. Using a panel dataset of 345 publicly listed banks from 75 countries over the period 2018–2022, we find that greater female representation on bank boards is significantly associated with lower environmental credit
Kenza Mouti   +2 more
wiley   +1 more source

Eco‐Innovation, Economic Complexity, and Sustainability: A Bibliometric and Systematic Literature Review

open access: yesBusiness Strategy and the Environment, EarlyView.
ABSTRACT This study systematizes the literature on eco‐innovation and economic complexity, aiming to understand how the sophistication of productive structures shapes countries' capacity to develop environmentally responsible innovations, and how eco‐innovation may, in turn, influence productive sophistication.
Gregory Matheus Pereira de Moraes   +1 more
wiley   +1 more source

Bridging Academic Research and Business Practices at the Crossroad of Circular Economy and the SDGs

open access: yesBusiness Strategy and the Environment, EarlyView.
ABSTRACT The global shift toward sustainability has amplified interest in the Circular Economy, which aims to optimize resource use and minimize waste. In parallel, the Sustainable Development Goals (SDGs) provide a universal framework for addressing social, environmental, and economic challenges.
Corentin Juin, Andrea Nicolodi
wiley   +1 more source

BioLogical: a universal analysis framework for biosystem logical dynamics. [PDF]

open access: yesComput Struct Biotechnol J
Yao Y, Liu D, Zhang Z, Zhao C, Pei D.
europepmc   +1 more source

Unveiling Bias: The Impact of Male Rape Myths and Stereotypes on Juror Verdicts in Male‐on‐Male Rape Trials

open access: yesBehavioral Sciences &the Law, EarlyView.
ABSTRACT This study examined how male rape myths, racial/ethnicity biases, and sexuality stereotypes influence verdicts in male‐on‐male rape trials—an area that is currently under‐researched. A sample of 463 participants read a mock rape trial, where both the defendant and complainant were male, with defendant ethnicity (White, Black, Asian) and ...
Lee J. Curley   +3 more
wiley   +1 more source

Home - About - Disclaimer - Privacy