Results 71 to 80 of about 1,213,224 (213)
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
On the density and the structure of the Peirce-like formulae [PDF]
Discrete Mathematics & Theoretical Computer Science, 2008 Within the language of propositional formulae built on implication and a finite number of variables $k$, we analyze the set of formulae which are classical tautologies but not intuitionistic (we call such formulae - Peirce's formulae).
Antoine Genitrini +2 more
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
Logical Relativism Through Logical Contexts
European Journal of Analytic Philosophy, 2021 We advance an approach to logical contexts that grounds the claim that logic is a local matter: distinct contexts require distinct logics. The approach results from a concern about context individuation, and holds that a logic may be constitutive of a ...
Jonas R. Becker Arenhart
doaj
Fitting an intuitionistic fuzzy black-derman-toy model of yield curve to price interest rate derivatives [PDF]
Journal of Fuzzy Extension and ApplicationsSince the early 21st century, the Fuzzy Random Option Pricing (FROP) literature has emerged as an active field within fuzzy mathematics. Mainstream contributions model the epistemic uncertainty of parameters governing the stochastic variation of ...
Jorge de Andrés-Sánchez
doaj +1 more source
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
Digital technology in mathematics education: Why it works (or doesn't) [PDF]
, 2012 The integration of digital technology confronts teachers, educators and researchers with many questions. What is the potential of ICT for learning and teaching, and which factors are decisive in making it work in the mathematics classroom? To investigate
Drijvers, Paul +3 more
core +2 more sources
Fermatean Fuzzy α-Homeomorphism in Fermatean Fuzzy Topological Spaces [PDF]
Neutrosophic Sets and SystemsA relatively new development in fuzzy set theory, Fermatean fuzzy sets (FFSs) were developed for working with higher-level, uncertain data. They provide an even more robust structure for characterizing degree of membership and degree of non-membership ...
Revathy Aruchsamy, Inthumathi Velusamy
doaj +1 more source
Intuitionistic fuzzy interior ideal of semigroup based on intuitionistic fuzzy point [PDF]
Matrix Science Mathematic, 2017 The intuitionistic fuzzification of the notion of an interior ideal in ordered semigroups is considered. The purpose of this study is to introduce the notion of (∈, ∈ vq)-intuitionistic fuzzy interior ideals and (∈, ∈)-intuitionistic fuzzy nterior ideals
Hidayat Ullah Khan +4 more
doaj +1 more source
International Transactions in Operational Research, Volume 33, Issue 2, Page 719-774, March 2026.Abstract The transformative potential of artificial intelligence (AI) ChatBots, leveraging natural language processing for information retrieval and knowledge synthesis, has garnered attention across diverse fields, including research. Recognizing AI's importance, researchers and policymakers are actively engaged in its development.
Cinzia Daraio +2 more
wiley +1 more source