Results 191 to 200 of about 27,177 (320)
A Generative Grammar for Propositional Calculus
The article describes a generative grammar of propositional calculus, which is of interest in the context of automated theorem proving using machine learning.
openaire +1 more source
A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic
Brian Hill, Francesca Poggiolesi
openalex +2 more sources
Does CEO Personal Environmental Value Matter?
ABSTRACT Using the epidemiological approach to estimate CEOs' personal environmental value, we examine whether and how it impacts a firm's environmental performance. The results show that CEOs' personal environmental value has a significant and positive influence on environmental performance. Further analysis shows that when firms suffer from a decline
Christian Harding +2 more
wiley +1 more source
A remark on propositional calculus with variable functors [PDF]
Yoshinari Arai, Shôtarô Tanaka
openalex +1 more source
Do Sustainable Development Goal Disclosure Matter? Unpacking Value Relevance in the European Context
ABSTRACT This study explores the value relevance of Sustainable Development Goal (SDG) disclosures by European listed firms, responding to calls for greater integration of sustainability into corporate strategy and reporting. Drawing on agency theory and voluntary disclosure theory, we examine whether the quality of SDG‐related disclosures affects firm
Gianluca Gabrielli +2 more
wiley +1 more source
Ability and knowledge: from epistemic transition systems to labelled stit models. [PDF]
Kuncová A +3 more
europepmc +1 more source
ABSTRACT The smartphone industry faces sustainability challenges from greenhouse gas emissions and resource depletion to growing e‐waste volumes. Circular business models have been proposed as a pathway to address these issues, yet their adoption remains limited, lacking integrative assessment frameworks that connect environmental performance with ...
Philipp Rittershaus +4 more
wiley +1 more source
Quantum Collapse and Computation in an Everett Multiverse. [PDF]
Tamburini F, Licata I.
europepmc +1 more source
Notes on the axiomatics of the propositional calculus. [PDF]
C. A. Meredith, A. N. Prior
openalex +1 more source
ABSTRACT This study investigates the combined impacts of Industry 4.0 (I4.0) technologies and digital transformation (DT) on sustainable consumption and production (SCP) and on the value creation (VC). It also examines the moderating influence of digital and environmental strategies on these outcomes.
Sajid Nazir +5 more
wiley +1 more source

