Results 51 to 60 of about 1,473,223 (214)
Generalized Bi-ideal of Ordered Semigroup Related to Intuitionistic Fuzzy Point [PDF]
Matrix Science Mathematic, 2017 Intuitionistic fuzzy generalized bi-ideals play an important role in the study of ordered semigroups. In this paper, we try obtain more general form of intuitionistic fuzzy generalized bi-ideal of an ordered semigroup.
Hidayat Ullah Khan +3 more
doaj +1 more source
Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics
Journal of the London Mathematical Society, 1993 At first sight, the argument which F. P. Ramsey gave for (the infinite case of) his famous theorem from 1927, is hopelessly unconstructive. If suitably reformulated, the theorem is true intuitionistically as well as classically: we offer a proof which should convince both the classical and the intuitionistic reader.
Veldman, W., Bezem, M.A.
openaire +2 more sources
Safety Science and Technology, Volume 1, Issue 3, September 2026.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
On density of truth of the intuitionistic logic in one variable [PDF]
Discrete Mathematics & Theoretical Computer Science, 2008 In this paper we focus on the intuitionistic propositional logic with one propositional variable. More precisely we consider the standard fragment $\{ \to ,\vee ,\bot \}$ of this logic and compute the proportion of tautologies among all formulas.
Zofia Kostrzycka
doaj +1 more source
Journal of Software: Evolution and Process, Volume 38, Issue 8, August 2026.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
Algebra and Sequent Calculus for Epistemic Actions [PDF]
, 2005 We introduce an algebraic approach to Dynamic Epistemic Logic. This approach has the advantage that: (i) its semantics is a transparent algebraic object with a minimal set of primitives from which most ingredients of Dynamic Epistemic Logic arise, (ii ...
Sadrzadeh, Mehrnoosh +2 more
core +1 more source
A Two-Part Defense of Intuitionistic Mathematics
Stance: an international undergraduate philosophy journal, 2021 The classical interpretation of mathematical statements can be seen as comprising two separate but related aspects: a domain and a truth-schema. L. E. J. Brouwer’s intuitionistic project lays the groundwork for an alternative conception of the objects in this domain, as well as an accompanying intuitionistic truth-schema.
openaire +2 more sources
Energy Science &Engineering, Volume 14, Issue 7, Page 3250-3271, July 2026.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
Business Ethics, the Environment &Responsibility, Volume 35, Issue 3, Page 1907-1930, July 2026.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
Logical Relativism Through Logical Contexts
European Journal of Analytic Philosophy, 2021 We advance an approach to logical contexts that grounds the claim that logic is a local matter: distinct contexts require distinct logics. The approach results from a concern about context individuation, and holds that a logic may be constitutive of a ...
Jonas R. Becker Arenhart
doaj