Results 71 to 80 of about 19,546 (208)
Advances in Fuzzy Systems, Volume 2026, Issue 1, 2026.This paper addresses critical limitations in the application of intuitionistic fuzzy sets (IFSs) for complex decision‐making problems under uncertainty. While IFSs offer a robust framework for modeling imprecision through membership, nonmembership, and hesitancy degrees, existing methodologies often simplify the multiplication of intuitionistic fuzzy ...
Hanh-Thao Le +2 more
wiley +1 more source
Intuitionistic logic with a Galois connection has the finite model property
, 2011 We show that the intuitionistic propositional logic with a Galois connection (IntGC), introduced by the authors, has the finite model property.Comment: 6 ...
Dzik, Wojciech +2 more
core +1 more source
A Multistage Two‐Sided Matching Model in Interval‐Valued Triangular Fuzzy Environments
Complexity, Volume 2026, Issue 1, 2026.In two‐sided matching problems, accurately quantifying preference intensity using precise numerical values remains a significant challenge due to the inherent complexity and fuzziness of real‐world decision‐making. Moreover, existing research rarely considers the staged dynamics of matching processes across multiple time periods. To address these gaps,
Jian-min Qiao +3 more
wiley +1 more source
A Critical Remark on the BHK Interpretation of Implication
Philosophia Scientiæ, 2014 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
Applications of Intuitionistic Logic in Answer Set Programming [PDF]
, 2003 We present some applications of intermediate logics in the field of Answer Set Programming (ASP). A brief, but comprehensive introduction to the answer set semantics, intuitionistic and other intermediate logics is given.
Arrazola, Jose +2 more
core
International Journal of Differential Equations, Volume 2026, Issue 1, 2026.In this paper, utilizing the concept of neutrosophic metric spaces proposed by Kirisci and Simsek, we establish a fixed point theorem of Edelstein type within this framework. A numerical example is provided to illustrate the validity of the main result. Furthermore, we present an application to a general SIR‐type epidemic model.
Vishal Gupta +3 more
wiley +1 more source
Copies of Classical Logic in Intuitionistic Logic
Philosophia Scientiæ, 2014 La logique classique (la logique des mathématiques non-constructives) est plus forte que la logique intuitionniste (la logique des mathématiques constructives).
Jaime Gaspar
doaj +1 more source
International Journal of Intelligent Systems, Volume 2026, Issue 1, 2026.Sustainable supplier selection is a high‐impact decision problem in which organizations must jointly evaluate economic performance, environmental impact, and social responsibility under heterogeneous stakeholder preferences, asymmetric decision authority, and predominantly linguistic assessments. Conventional multiattribute group decision‐making (MAGDM)
Amirhossein Nafei +3 more
wiley +1 more source
Logical rules and the determinacy of meaning
Studies in Logic, Grammar and Rhetoric, 2018 The use of conventional logical connectives either in logic, in mathematics, or in both cannot determine the meanings of those connectives. This is because every model of full conventional set theory can be extended conservatively to a model of ...
McCarty Charles
doaj +1 more source
International Journal of Intelligent Systems, Volume 2026, Issue 1, 2026.Online reviews have emerged as a pivotal data source for product evaluation and selection. However, converting their inherent textual uncertainty into reliable information for decision support remains a significant challenge. This paper proposes a rough‐cloud‐integrated multiattribute three‐way decision (MATWD) framework that captures the uncertainty ...
Fan Jia +3 more
wiley +1 more source