Results 81 to 90 of about 785,300 (287)
A Fuzzy Decision‐Making Support Model for Traffic Safety Analysis
Expert Systems, Volume 42, Issue 9, September 2025.ABSTRACT Our study delves into the crucial issue of road safety by examining the intricate dynamics of driver behaviour, often resulting in tragic accidents. The importance of comprehending these behaviours is acknowledged, leading us to propose an innovative decision‐making support model that integrates the analytic hierarchy process (AHP) with the ...
Sarbast Moslem +6 more
wiley +1 more source
Intuitionistic ancestral logic
Journal of Logic and Computation, 2019 Abstract In this article we define pure intuitionistic Ancestral Logic ( iAL ), extending pure intuitionistic First-Order Logic ( iFOL ). This logic is a dependently typed abstract programming language with computational functionality beyond iFOL given by its realizer for the transitive closure, TC .
Liron Cohen, Robert L. Constable
openaire +2 more sources
CO2 Storage Site Selection: A Comprehensive Review of Current Approaches
Greenhouse Gases: Science and Technology, Volume 15, Issue 4, Page 487-510, August 2025.ABSTRACT Global warming, driven by increasing anthropogenic greenhouse gas emissions, has emerged as a critical environmental concern. Carbon capture and storage (CCS) technology offers a promising solution for reducing CO2 emissions, but its effectiveness depends on identifying suitable candidates that can ensure safe, long‐term storage of CO2.
Shahryar Rashidi +2 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
Journal of Software: Evolution and Process, Volume 37, Issue 8, August 2025.This study detects ambiguities in functional requirements. Preprocessing extracts tokens and applies NLP tasks. SpanBERT handles anaphoric ambiguity, while NER (Named Entity Ruler) and pattern matching identify coordination ambiguity and missing conditions.
Fiza Talha, Touseef Tahir, Talha Nadeem
wiley +1 more source
Engineering Reports, Volume 7, Issue 7, July 2025.FR‐FMEA combines fuzzy logic and rough set theory to address uncertainty and incomplete knowledge in failure analysis. Applied to a gas turbine system, it delivers more reliable and distinct risk rankings, identifying critical components for targeted maintenance and improved reliability.
Ali Aghazadeh Ardebili +2 more
wiley +1 more source
Speakable in quantum mechanics: babbling on [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 This paper consists of a short version of the derivation of the intuitionistic quantum logic L_QM (which was originally introduced by Caspers, Heunen, Landsman and Spitters).
Ronnie Hermens
doaj +1 more source
Weakly Intuitionistic Quantum Logic [PDF]
Studia Logica, 2012 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
Concurrency and Computation: Practice and Experience, Volume 37, Issue 12-14, 25 June 2025.ABSTRACT Although various studies monitor and evaluate green growth performance, no heuristic‐based hybrid studies test the reflection of green growth indicators. This study aims to identify the best green growth performance by using intuitionistic fuzzy and metaheuristic algorithms over green growth indicators, contributing to filling the gap in the ...
Mustafa Ozdemir
wiley +1 more source
Sequent Calculus in the Topos of Trees
, 2015 Nakano's "later" modality, inspired by G\"{o}del-L\"{o}b provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this modality via the internal logic of the topos of trees. We show that
A. Bizjak +13 more
core +1 more source