Results 41 to 50 of about 1,452,486 (168)
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
Algebra and Sequent Calculus for Epistemic Actions [PDF]
, 2005 We introduce an algebraic approach to Dynamic Epistemic Logic. This approach has the advantage that: (i) its semantics is a transparent algebraic object with a minimal set of primitives from which most ingredients of Dynamic Epistemic Logic arise, (ii ...
Sadrzadeh, Mehrnoosh +2 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
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