Linear logic for constructive mathematics
, 2018 We show that numerous distinctive concepts of constructive mathematics arise automatically from an interpretation of "linear higher-order logic" into intuitionistic higher-order logic via a Chu construction.
Shulman, Michael
core
An application of fuzzy bipolar weighted correlation coefficient in decision-making problem. [PDF]
PLoS One, 2023 Mustafa S, Mahmood S, Salleh Z.
europepmc +1 more source
On , qk -intuitionistic (fuzzy ideals, fuzzy soft ideals) of subtraction algebras
Songklanakarin Journal of Science and Technology (SJST), 2015 The intent of this article is to study the concept of an , k q -intuitionistic fuzzy ideal and , qk -intuitionistic fuzzy soft ideal of subtraction algebras and to introduce some related properties. 2010 AMS Classification: 06F35, 03G25, 08A72.
Madad Khan +4 more
openaire +1 more source
Intuitionistic fuzzy set of Γ -submodules and its application in modeling spread of viral diseases, mutated COVID-n, via flights. [PDF]
Int J Intell Syst, 2022 Firouzkouhi N +4 more
europepmc +1 more source
An Analysis of Algebraic Codes over Lattice Valued Intuitionistic Fuzzy Type-3 R-Submodules. [PDF]
Comput Intell Neurosci, 2022 Riaz A +4 more
europepmc +1 more source
A New Perspective on Intuitionistic Fuzzy Structures in Sheffer Stroke BCK-Algebras
AxiomsThis study introduces the concept of an intuitionistic fuzzy SBCK-subalgebra (SBCK-ideal) and explores the level set of an intuitionistic fuzzy set within the context of Sheffer stroke BCK-algebras.
Ravi Kumar Bandaru +3 more
doaj +1 more source
Homomorphisms of Lattice-Valued Intuitionistic Fuzzy Subgroup Type-3. [PDF]
Comput Intell Neurosci, 2022 Kousar S +4 more
europepmc +1 more source
Multiple criteria decision analytic methods in management with T-spherical fuzzy information. [PDF]
Artif Intell Rev, 2023 Chen TY.
europepmc +1 more source
Intuitionistic (λ,μ)-fuzzy sets in Γ-semigroups [PDF]
, 2013 Benxiu Li, Yuming Feng
core +1 more source