Results 51 to 60 of about 1,999,260 (196)
A Two-Part Defense of Intuitionistic Mathematics
The classical interpretation of mathematical statements can be seen as comprising two separate but related aspects: a domain and a truth-schema. L. E. J. Brouwer’s intuitionistic project lays the groundwork for an alternative conception of the objects in this domain, as well as an accompanying intuitionistic truth-schema.
openaire +2 more sources
Kripke on Gödel Incompleteness
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
Evaluation Method and Impact of Clean Energy on the Ecotourism Competitiveness of Townships
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
On the density and the structure of the Peirce-like formulae [PDF]
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
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
Logical Relativism Through Logical Contexts
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]
Since 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
Abstract It is well‐recognized in the sciences that a multitude of nonequivalent models are used by researchers to fulfill a range of goals, even for the same target system, a result known broadly as model pluralism. The possibility of the same form of pluralism occurring in logic, however, has not been adequately considered.
Ben Martin
wiley +1 more source
Fermatean Fuzzy α-Homeomorphism in Fermatean Fuzzy Topological Spaces [PDF]
A 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]
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

