Results 71 to 80 of about 722,619 (215)
A novel method for evaluating the ESG performance level of power companies is proposed. The PFS‐FWZIC method is employed to calculate the indicator weights, avoiding the inconsistency issues associated with traditional methods. An ESG performance evaluation index system tailored for the power industry is constructed.
Qiang Li +4 more
wiley +1 more source
ABSTRACT The inaccuracy of cost, effort, and schedule estimates remains one of the primary factors associated with failures in software development projects, particularly in contexts characterized by high complexity and frequent changes in requirements.
Rodolfo Barbosa dos Santos +1 more
wiley +1 more source
This study introduces bipolar q‐fractional fuzzy sets and new aggregation operators to support renewable energy selection under uncertainty. The proposed decision‐making framework effectively integrates positive and negative evaluations, ensuring consistent ranking and robust performance, as demonstrated through practical analysis and comparative ...
Sagvan Y. Musa +3 more
wiley +1 more source
Weakly Intuitionistic Quantum Logic [PDF]
In this paper we motivate and study the possibility of an intuitionistic quantum logic. An explicit investigation of the application of the theory of Bruns and Lakser on distributive hulls on traditional quantum logic (as suggested in [Coe]) leads us to a small modification of this scheme. In this way we obtain a weak Heyting algebra (cf.
openaire +5 more sources
ABSTRACT The study explores the costs of disclosing sustainable practices within the decision‐making process. We identify various sustainable development goal (SDG) disclosure costs, including litigation, regulatory, reputational, operational, and proprietary costs.
Hasan Dinçer +4 more
wiley +1 more source
The basic intuitionistic logic of proofs [PDF]
AbstractThe language of the basic logic of proofs extends the usual propositional language by forming sentences of the sort x is a proof of F for any sentence F. In this paper a complete axiomatization for the basic logic of proofs in Heyting Arithmetic HA was found.
Artemov, Sergei, Iemhoff, Rosalie
openaire +5 more sources
Dual intuitionistic logic revisited
. We unify the algebraic, relational and sequent methods used by various authors to investigate “dual intuitionistic logic”. We show that restricting sequents to “singletons on the left/right ” cannot capture “intuitionistic logic with dual operators ...
Rajeev Goré
core +1 more source
A Critical Remark on the BHK Interpretation of Implication
The BHK interpretation of logical constants is analyzed in terms of a systematic account given by Prawitz, resulting in a reformulation of the BHK interpretation in which the assertability of atomic propositions is determined by Post systems. It is shown
Wagner de Campos Sanz, Thomas Piecha
doaj +1 more source
Abstract This paper aims to encounter the scholarly demand for comprehensive identification and investigation of the factors that highlight the sense of the “workplace of the future.” Besides, this study sheds in‐depth qualitative and quantitative insights into analysing such drivers in international entrepreneurial small and medium enterprises of ...
Hannan Amoozad Mahdiraji +3 more
wiley +1 more source
Intuitionistic Layered Graph Logic: Semantics and Proof Theory [PDF]
Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature.
Simon Docherty, David Pym
doaj +1 more source

