Results 61 to 70 of about 1,452,486 (168)
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'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
Intuitionnisme dialogique et pré-propositionnalité
Philosophia ScientiæIt is thought that the fact that the processes of intuitionism come into conflict with certain laws of classical logic justifies reforming the latter to remove the reasons for this conflict and associate intuitionistic mathematics with a logic.
Clément Lion
doaj +1 more source
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
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
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic
Notre Dame Journal of Formal Logic, 2001 This article investigates the mathematical logic of intuitionistic propositional and predicate calculi using the framework of reverse mathematics [\textit{S. G. Simpson}, Subsystems of second order arithmetic, Berlin: Springer (1999; Zbl 0909.03048)]. Working in RCA\(_0\), the author shows that a version of the strong completeness theorem asserting the
openaire +2 more sources
On Fuzzy Ideals of Subtraction Algebras
Süleyman Demirel Üniversitesi Fen-Edebiyat Fakültesi Fen Dergisi, 2013 : In this paper, we introduce the notion of fuzzy interior ideal, fuzzy bi-ideal, intuitionistic fuzzy interior ideal and intuitionistic fuzzy bi-ideal of a subtraction semigroup.
Yılmaz Çeven, Zekiye Çiloğlu
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
Two loop detection mechanisms: a comparison [PDF]
, 1997 In order to compare two loop detection mechanisms we describe two calculi for theorem proving in intuitionistic propositional logic. We call them both MJ Hist, and distinguish between them by description as `Swiss' or `Scottish'. These calculi combine in
Howe, J. M. +3 more
core +1 more source
Giuseppe Veronesego podstawy matematyki
Zagadnienia Filozoficzne w Nauce, 2013 The aim of this paper is to analyze Veronese’s philosophical principles of mathematics. He tried to begin the construction of mathematics (geometry) with the concept of the Thinking Subject and the phenomenon of thinking, which is discussed in detail. It
Jerzy Dadaczyński
doaj