All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 39 Next

Displaying 761 – 780 of 1306

Showing per page

Putting together Lukasiewicz and product logics.

Francesc Esteva, Lluis Godo (1999)

Mathware and Soft Computing

In this paper we investigate a propositional fuzzy logical system LΠ which contains the well-known Lukasiewicz, Product and Gödel fuzzy logics as sublogics. We define the corresponding algebraic structures, called LΠ-algebras and prove the following completeness result: a formula φ is provable in the LΠ logic iff it is a tautology for all linear LΠ-algebras. Moreover, linear LΠ-algebras are shown to be embeddable in linearly ordered abelian rings with a strong unit and cancellation law.

QL-implications versus D-implications

Margarita Mas, Miquel Monserrat, Joan Torrens (2006)

Kybernetika

This paper deals with two kinds of fuzzy implications: QL and Dishkant implications. That is, those defined through the expressions I ( x , y ) = S ( N ( x ) , T ( x , y ) ) and I ( x , y ) = S ( T ( N ( x ) , N ( y ) ) , y ) respectively, where T is a t-norm, S is a t-conorm and N is a strong negation. Special attention is due to the relation between both kinds of implications. In the continuous case, the study of these implications is focused in some of their properties (mainly the contrapositive symmetry and the exchange principle). Finally, the case of non continuous t-norms...

Qualitative reasoning in Bayesian networks.

Paolo Garbolino (1996)

Mathware and Soft Computing

Some probabilistic inference rules which can be compared with the inference rules of preferential logic are given and it will be shown how they work in graphical models, allowing qualitative plausible reasoning in Bayesian networks.

Quasi-uniform Space

Roland Coghetto (2016)

Formalized Mathematics

In this article, using mostly Pervin [9], Kunzi [6], [8], [7], Williams [11] and Bourbaki [3] works, we formalize in Mizar [2] the notions of quasiuniform space, semi-uniform space and locally uniform space. We define the topology induced by a quasi-uniform space. Finally we formalize from the sets of the form ((X Ω) × X) ∪ (X × Ω), the Csaszar-Pervin quasi-uniform space induced by a topological space.

Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module

Kazuhisa Nakasho, Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama (2014)

Formalized Mathematics

In this article, we formalize some basic facts of Z-module. In the first section, we discuss the rank of submodule of Z-module and its properties. Especially, we formally prove that the rank of any Z-module is equal to or more than that of its submodules, and vice versa, and that there exists a submodule with any given rank that satisfies the above condition. In the next section, we mention basic facts of linear transformations between two Z-modules. In this section, we define homomorphism between...

Relative sets and rough sets

Amin Mousavi, Parviz Jabedar-Maralani (2001)

International Journal of Applied Mathematics and Computer Science

In this paper, by defining a pair of classical sets as a relative set, an extension of the classical set algebra which is a counterpart of Belnap's four-valued logic is achieved. Every relative set partitions all objects into four distinct regions corresponding to four truth-values of Belnap's logic. Like truth-values of Belnap's logic, relative sets have two orderings; one is an order of inclusion and the other is an order of knowledge or information. By defining a rough set as a pair of definable...

Currently displaying 761 – 780 of 1306