Results 11 to 20 of about 2,400 (157)
Reactive preferential structures and nonmonotonic consequence [PDF]
, 2008 We introduce information bearing systems (IBRS) as an abstraction of many logical systems. We define a general semantics for IBRS, and show that IBRS generalize in a natural way preferential semantics and solve open representation ...
Gabbay, Dov, Schlechta, Karl
core +4 more sources
International Journal of Fuzzy Systems, 2023 The Aczel-Alsina t-norms ware proposed by Aczel and Alsina in 1982, which are a very effective and dominant technique used in the construction of any kind of aggregation operators.
Peide Liu +3 more
semanticscholar +1 more source
Yugoslav journal of operations research, 2023 The Assignment Problem (AP) can be stated as n activities to be assigned to n resources in such a way that the overall cost of assignment is minimized and each activity is assigned to one and only one resource.
Souhail Dhouib
semanticscholar +1 more source
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic [PDF]
, 2014 Intuitionistic logic, in which the double negation law not-not-P = P fails, is dominant in categorical logic, notably in topos theory. This paper follows a different direction in which double negation does hold.
Bart Jacobs, Prakash Panangaden
core +4 more sources
Regular Open Sets on The Intuitionistic Fuzzy Topological Spaces in Sostak's Sense
Journal of the Indonesian Mathematical Society, 2023 The aim of this paper is to introduce and study the concepts of intuitionistic r-fuzzy regular open sets and their related notions in topological spaces.
T. Menagadevi +2 more
semanticscholar +1 more source
Paraconsistency properties in degree-preserving fuzzy logics [PDF]
, 2014 Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. Aiming to find logics that can handle inconsistency and graded truth at once, in this paper we explore the notion ...
Ertola, Rodolfo +4 more
core +1 more source
Three-valued logics, uncertainty management and rough sets [PDF]
, 2014 This paper is a survey of the connections between three-valued logics and rough sets from the point of view of incomplete information management. Based on the fact that many three-valued logics can be put under a unique algebraic umbrella, we show how to
Ciucci, Davide, Dubois, Didier
core +2 more sources
Topos Theory and Consistent Histories: The Internal Logic of the Set of all Consistent Sets [PDF]
, 1996 A major problem in the consistent-histories approach to quantum theory is contending with the potentially large number of consistent sets of history propositions. One possibility is to find a scheme in which a unique set is selected in some way. However,
C. J. Isham +32 more
core +2 more sources
A modal theorem-preserving translation of a class of three-valued logics of incomplete information [PDF]
, 2013 International audienceThere are several three-valued logical systems that form a scattered landscape, even if all reasonable connectives in three-valued logics can be derived from a few of them.
Avron A. +56 more
core +4 more sources
Belief functions on lattices [PDF]
, 2008 We extend the notion of belief function to the case where the underlying structure is no more the Boolean lattice of subsets of some universal set, but any lattice, which we will endow with a minimal set of properties according to our needs. We show that
Grabisch, Michel
core +4 more sources