Results 1 to 10 of about 2,000 (113)

On Intuitionistic Fuzzy Minimal Semi-preopen Set [PDF]

مجلة علوم ذي قار, 2019
In this paper, we introduce the concept of intuitionistic fuzzy minimal open sets on intuitionistic fuzzy  topological space. We introduce the concepts of closure and interior defined by intuitionistic fuzzy minimal open set and intuitionistic fuzzy ...
Afakar Kareem Mnahi
doaj   +9 more sources

Intertemporal Choice of Fuzzy Soft Sets [PDF]

, 2018
This paper first merges two noteworthy aspects of choice. On the one hand, soft sets and fuzzy soft sets are popular models that have been largely applied to decision making problems, such as real estate valuation, medical diagnosis (glaucoma, prostate ...
Muñoz Torrecillas, María José, R. Alcantud, José Carlos   +1 more
core   +3 more sources

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

The notion of H-IFS in data modelling [PDF]

, 2008
In this paper we revise the context of "value imprecision", as part of an knowledge-based environment We present our approach for including value imprecision as pan of a non-rigid hierarchical structures of organization.
Atanassov, K.T., Atanassov, K.T., Chountas, P., Chountas, P., Rogova, E., Rogova, E.   +5 more
core   +1 more source

A map of dependencies among three-valued logics [PDF]

, 2013
International audienceThree-valued logics arise in several fields of computer science, both inspired by concrete problems (such as in the management of the null value in databases) and theoretical considerations.
Adamatzky, Asenjo, Avron, Baaz, Banerjee, Belluce, Belnap, Bochvar, Cattaneo, Cattaneo, Cattaneo, Cattaneo, Cignoli, Ciucci, Codd, D. Ciucci, D. Dubois, De Baets, De Baets, Drewniak, Dubois, Dubois, Dubois, Dubois, Dubois, Dubois, D’Ottaviano, Fitting, Fodor, Fox, Gentilhomme, Hardegree, Hosoi, Hájek, Jaśkowski, Jobe, Kleene, Klement, Konikowska, Lawry, Mas, Mas, Mas, Mas, McCarthy, Nelson, Pearce, Pedrycz, Priest, Rosser, Sabo, Sette, Smets, Smith, Sobociński, Urquhart, Vakarelov, Vakarelov, Walker   +58 more
core   +4 more sources

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, Esteva, Francesc, Flaminio, Tommaso, Godo, Lluis, Noguera, Carles   +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

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

First-order Goedel logics

, 2006
First-order Goedel logics are a family of infinite-valued logics where the sets of truth values V are closed subsets of [0, 1] containing both 0 and 1. Different such sets V in general determine different Goedel logics G_V (sets of those formulas which ...
Baaz, Baaz, Baaz, Baaz, Baaz, Baaz, Baaz, Baaz, Baaz, Baaz, Baaz, Baaz, Beckmann, Ciabattoni, Dummett, Gödel, Horn, Hájek, Hájek, Kechris, Matthias Baaz, Moschovakis, Norbert Preining, Preining, Richard Zach, Rosenstein, Scarpellini, Takano, Takeuti, Takeuti, van Dalen, Winkler   +31 more
core   +1 more source

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., Banerjee M., Banerjee M., Banerjee M., Belnap N. D., Borowski L., Burmeister P., Béziau J., Chellas B. F., Cignoli R., Ciucci D., Ciucci D., Ciucci D., Codd E. F., Costa N. C. A., D. Ciucci, D. Dubois, Demri S., Dubois D., Dubois D., Dubois D., Dubois D., Dubois D., Dubois D., Dubois D., Dubois D., Dubois D., Dubois D., Duffy M. J., Elaydi S., Fariñas del Cerro L., Fitting M., Font J. M., Fox J., Gaines B. R., Gottwald S., Grant J., Gödel K., Gödel K., Heyting A., Hosoi T., Hájek P., Jaśkowski S., Kleene S. C., Klement E. P., Kooi B. P., McKinsey J., Minari P., Nelson D., Pearce D., Priest G., Sette A. M., Sobociński B., Urquhart A., Vakarelov D., Wajsberg M., Zadeh L. A.   +56 more
core   +4 more sources