Results 41 to 50 of about 1,473,223 (214)
Noûs, EarlyView.ABSTRACTProbabilism is the thesis that the degrees of belief of rational agents behave like Kolmogorovian probabilities. There are quite different lines of argument for probabilism in the literature, including Dutch book arguments, arguments based on representation theorems, and epistemic utility arguments. This paper focusses on the Dutch book line of
Nicholas J. J. Smith
wiley +1 more source
Evaluating Projects Based on Intuitionistic Fuzzy Group Decision Making [PDF]
, 2012 There are various methods regarding project selection in different fields. This paper deals with an actual application of construction project selection, using two aggregation operators.
Rouyendegh, Babak Daneshvar +2 more
core +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
Revenge Russell‐Myhill and the Ramified Hierarchy
Theoria, EarlyView.ABSTRACT The Russell‐Myhill paradox targeting the structuralist view of proposition in classical higher‐order logic is blocked by implementing restrictions associated with an ordinary account of predicativity. However, it has been shown that these restrictions are not safe: “revenge” versions of the paradox show the inconsistency of the structuralist ...
Jacopo Berneri
wiley +1 more source
Treatise on intuitionistic type theory
, 2011 Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science.
Granström, Johan Georg +1 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
A Common External Framework for Kleene and McCarthy Algebras
Mathematical Logic Quarterly, Volume 72, Issue 4, November 2026.ABSTRACT Algebras of disjoint alternatives (ADAs), introduced by Manes, are extensions of McCarthy algebras by a unary operator acting as an oracle for the halting problem, and provide a semantics for the equational theory of the if–then–else construct.
Gandolfo Vergottini +2 more
wiley +1 more source
Intuitionistic Fuzzy Soft Hyper BCK Algebras
, 2019 Maji et al. introduced the concept of fuzzy soft sets as a generalization of the standard soft sets, and presented an application of fuzzy soft sets in a decision-making problem. Maji et al. also introduced the notion of intuitionistic fuzzy soft sets in
Young Bae Jun +3 more
core +1 more source
A Critical Analysis of Optimization Algorithms for Cultural Heritage Conservation and Management
Engineering Reports, Volume 8, Issue 10, October 2026.Methodological framework and decision‐support roadmap for optimization algorithms in cultural heritage conservation and management. ABSTRACT Heritage buildings symbolize cultural identity, architectural character, and historical epitome of communities.
Eslam Mohammed Abdelkader +6 more
wiley +1 more source
Neutrosophic Circular-arc Graphs and Proper circular-arc Graphs [PDF]
Neutrosophic Sets and SystemsGraph theory is a fundamental branch of mathematics that studies networks made up of nodes (vertices) and connections (edges). A key concept in graph theory is the intersection graph, where vertices represent sets, and edges are drawn between vertices if
Florentin Smarandache, Takaaki Fujita
doaj +1 more source