Results 51 to 60 of about 1,880 (221)
Generalized Bi-ideal of Ordered Semigroup Related to Intuitionistic Fuzzy Point [PDF]
Matrix Science Mathematic, 2017 Intuitionistic fuzzy generalized bi-ideals play an important role in the study of ordered semigroups. In this paper, we try obtain more general form of intuitionistic fuzzy generalized bi-ideal of an ordered semigroup.
Hidayat Ullah Khan +3 more
doaj +1 more source
Kripke's Reduction of Löb's Theorem to the Second Incompleteness Theorem
Theoria, Volume 92, Issue 3, June 2026.ABSTRACT In this paper, we discuss Kripke's reduction of Löb's Principle to the Second Incompleteness Theorem. We have a closer look at the non‐constructive character of the reduction. We reflect on what the argument has to tell us. In the Appendix, We give a strengthening of Löb's Principle suggested by Kripke's reduction.
Albert Visser
wiley +1 more source
Convexity for Interval Valued Neutrosophic Setsand its Application in Decision Making [PDF]
Neutrosophic Sets and SystemsThe notion ‘Convexity’ is applied in various areas of mathematics particularly in optimization techniques. It is known that this concept is applied in fuzzy sets, which is studied by many authors.
Suthi Keerthana Kumar +4 more
doaj +1 more source
On density of truth of the intuitionistic logic in one variable [PDF]
Discrete Mathematics & Theoretical Computer Science, 2008 In this paper we focus on the intuitionistic propositional logic with one propositional variable. More precisely we consider the standard fragment $\{ \to ,\vee ,\bot \}$ of this logic and compute the proportion of tautologies among all formulas.
Zofia Kostrzycka
doaj +1 more source
Kripke on Gödel Incompleteness
Theoria, Volume 92, Issue 3, June 2026.ABSTRACT This paper surveys six of Saul Kripke's highly creative ideas and results on Gödel incompleteness, from when he was an undergraduate to last publications. These include his extension of incompleteness from sentences to predicates, his model‐theoretic proof of incompleteness of arithmetic, his compelling analysis of incompleteness in terms of ...
Daniel Isaacson
wiley +1 more source
A New Extension to the Intuitionistic Fuzzy Metric-like Spaces
, 2022 In this manuscript, we introduce the concept of intuitionistic fuzzy controlled metric-like spaces via continuous t-norms and continuous t-conorms. This new metric space is an extension to intuitionistic fuzzy controlled metric-like spaces, controlled ...
Nabil Mlaiki +6 more
core +1 more source
Geneza intuicjonistycznego rachunku zdań i Twierdzenie Gliwienki
Zagadnienia Filozoficzne w Nauce, 2014 Among the non-classical logics, the intuitionistic one stands out in many ways. First of all, because of its properties, it is grateful subject of formal analysis.
Piotr Urbańczyk
doaj
Evaluation Method and Impact of Clean Energy on the Ecotourism Competitiveness of Townships
Engineering Reports, Volume 8, Issue 5, May 2026.This study develops an integrated evaluation framework to analyse the impact of clean energy adoption on the ecotourism competitiveness of rural townships. By applying the fuzzy Delphi method (FDM), analytic network process (ANP) and DEMATEL, the research identifies and prioritizes key indicators linking clean energy, sustainability and tourism ...
Yi Yao, Li Fu
wiley +1 more source
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
Indeterministic finite-precision physics and intuitionistic mathematics [PDF]
, 2020 In recent publications in physics and mathematics, concerns have been raised about the use of real numbers to describe quantities in physics, and in particular about the usual assumption that physical quantities are infinitely precise. In this thesis, we
van der Lugt, Tein
core