Results 71 to 80 of about 20,888 (254)
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
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
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
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
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
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
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
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
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