Results 71 to 80 of about 19,372 (208)
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
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
Journal of Mathematics, Volume 2026, Issue 1, 2026.When making decisions using multiple criteria, known as “multicriteria decision‐making” (MCDM), it is essential to organize and address these challenges effectively. The Q‐Neutrosophic Hypersoft Set (Q‐NHSS) expands upon the Q‐Neutrosophic Soft Set (Q‐NSS) and integrates it with the Q‐Fuzzy set, a two‐dimensional information system.
Ayisha Saeed +5 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
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
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
An Interval‐Valued Fermatean Neutrosophic Framework for Sustainable Transportation Under Uncertainty
Journal of Mathematics, Volume 2026, Issue 1, 2026.Transportation planning is facing heightened complexity because the dynamic parameters influenced by globalization and unpredictable technological disruptions. Traditional models are not capable to handle interval‐based uncertainties related to supply, demand, and costs, especially as the scale of suppliers and customers expands.
Muhammad Kamran +4 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
Characterizing intermediate tense logics in terms of Galois connections
, 2014 We propose a uniform way of defining for every logic ${\sf L}$ intermediate between intuitionistic and classical logics, the corresponding intermediate minimal tense logic ${\sf LK_t}$.
Dzik, Wojciech +2 more
core +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