Results 81 to 90 of about 5,025 (226)
A Linear Diophantine Fuzzy Graph‐Theoretic Approach for Planar Dynamic Traffic Optimization
Applied Computational Intelligence and Soft Computing, Volume 2026, Issue 1, 2026.Dynamic urban traffic signal control systems face uncertainties such as fluctuating vehicle densities, unpredictable incidents, and varying driver behaviors, making precise decision‐making highly challenging. To address these complexities, fuzzy planar graphs have been employed for uncertainty modeling.
Waheed Ahmad Khan +5 more
wiley +1 more source
Nested Sequents for Intuitionistic Logics [PDF]
Notre Dame Journal of Formal Logic, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Cut-elimination, substitution and normalisation
, 2014 Date of Acceptance: 01/2015We present a proof (of the main parts of which there is a formal version, checked with the Isabelle proof assistant) that, for a G3-style calculus covering all of intuitionistic zero-order logic, with an associated term ...
Roy Dyckhoff, Dyckhoff, Roy
core +1 more source
Kripke Semantics for Intuitionistic Lukasiewicz Logic [PDF]
, 2020 This paper proposes a generalization of the Kripke semantics of intuitionistic logic IL appropriate for intuitionistic Łukasiewicz logicIŁL —a logic in the intersection between IL and (classical) Łukasiewicz logic.
Andrew, L-S, Oliva, P, Robinson, E
core +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
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
Heterogeneous Fuzzy Group Decision‐Making Model With Mixed Criteria
Advances in Fuzzy Systems, Volume 2026, Issue 1, 2026.Organizational decisions, often originating from diverse groups of managers with varying criteria, encounter challenges due to the inherent ambiguity in human judgments, particularly those involving preferences. This paper proposes a nuanced solution using a heterogeneous fuzzy group decision‐making method, accommodating diverse criteria based on real ...
Akbar Karimi +3 more
wiley +1 more source
An Introduction to Partition Logic [PDF]
, 2013 Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given ...
Ellerman, David
core +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
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