Results 61 to 70 of about 20,888 (254)
Model-theoretic characterization of intuitionistic propositional formulas [PDF]
, 2012 Notions of k-asimulation and asimulation are introduced as asymmetric counterparts to k-bisimulation and bisimulation, respectively. It is proved that a first-order formula is equivalent to a standard translation of an intuitionistic propositional ...
Olkhovikov, Grigory K.
core +3 more sources
Smart City Lighting for All Ages: Age‐Adaptive Fuzzy Systems for Real‐Time Energy Management
IET Circuits, Devices &Systems, Volume 2026, Issue 1, 2026.Taking advantage of cutting‐edge technologies to efficiently control energy consumption while prioritizing public well‐being is a wise choice for the sustainable development of cities and societies. From this perspective, the proposed approach in this study, which employs real‐time electricity pricing, user age, and user preferences as input parameters
Mohammad Javad Kalani +2 more
wiley +1 more source
Rough bi-Heyting algebra and its applications on Rough bi-intuitionistic logic [PDF]
, 2022 B. Praba +1 more
openalex +1 more source
Provability Logic and the Completeness Principle
, 2018 In this paper, we study the provability logic of intuitionistic theories of arithmetic that prove their own completeness. We prove a completeness theorem for theories equipped with two provability predicates $\Box$ and $\triangle$ that prove the schemes $
Visser, Albert, Zoethout, Jetze
core +1 more source
Multidimensional Topological Measure Spaces and Their Applications in Decision‐Making Problems
Advances in Fuzzy Systems, Volume 2026, Issue 1, 2026.This paper presents a generalized framework termed the multidimensional topological measure space (MDTMS), developed through multidimensional fuzzy sets, multidimensional topology, and an associated distance measure. The suggested framework enhances traditional fuzzy models by facilitating a more nuanced representation and examination of intricate ...
Jomal Josen +3 more
wiley +1 more source
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
A Novel Multicriteria Decision‐Making Approach for WEDM Parameter Selection Using Fuzzy AHP–ARAS
Journal of Engineering, Volume 2026, Issue 1, 2026.Nickel‐based superalloys, particularly Inconel 718, are renowned for their exceptional mechanical properties, which present significant challenges during machining. These alloys possess remarkable fatigue strength, outstanding resistance to corrosion and creep, high work hardening capacity, and impressive strength.
A. Bhowmik +10 more
wiley +1 more source
Applied AI Letters, Volume 6, Issue 3, October 2025.This study proposes an AI‐enhanced decision‐making framework that integrates sentiment analysis of customer reviews with q‐rung orthopair fuzzy MCDM to evaluate retailer performance. By analyzing 8,000 reviews from major U.S. retailers, the model bridges unstructured feedback and structured evaluation, offering actionable insights into service ...
Adem Pinar
wiley +1 more source
Intuitionistic Layered Graph Logic: Semantics and Proof Theory [PDF]
Logical Methods in Computer Science, 2018 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
Approximate‐Guided Representation Learning in Vision Transformer
CAAI Transactions on Intelligence Technology, Volume 10, Issue 5, Page 1459-1477, October 2025.ABSTRACT In recent years, the transformer model has demonstrated excellent performance in computer vision (CV) applications. The key lies in its guided representation attention mechanism, which uses dot‐product to depict complex feature relationships, and comprehensively understands the context semantics to obtain feature weights.
Kaili Wang +4 more
wiley +1 more source