Displaying 581 – 600 of 5971

Showing per page

An architecture for making judgments using computing with words

Jerry Mendel (2002)

International Journal of Applied Mathematics and Computer Science

Our thesis is that computing with words needs to account for the uncertainties associated with the meanings of words, and that these uncertainties require using type-2 fuzzy sets. Doing this leads to a proposed architecture for making it judgments by means of computing with words, i.e., to a perceptual computer-the Per-C. The Per-C includes an encoder, a type-2 rule-based fuzzy logic system, and a decoder. It lets all human-computer interactions be performed using words. In this paper, a quantitative...

An atomic MV-effect algebra with non-atomic center

Vladimír Olejček (2007)

Kybernetika

Does there exist an atomic lattice effect algebra with non-atomic subalgebra of sharp elements? An affirmative answer to this question (and slightly more) is given: An example of an atomic MV-effect algebra with a non-atomic Boolean subalgebra of sharp or central elements is presented.

An axiom system for full 3 -dimensional Euclidean geometry

Jarosław Kosiorek (1991)

Mathematica Bohemica

We present an axiom system for class of full Euclidean spaces (i.e. of projective closures of Euclidean spaces) and prove the representation theorem for our system, using connections between Euclidean spaces and elliptic planes.

An axiom system for incidence spatial geometry.

Rafael María Rubio, Alfonso Ríder (2008)

RACSAM

Incidence spatial geometry is based on three-sorted structures consisting of points, lines and planes together with three intersort binary relations between points and lines, lines and planes and points and planes. We introduce an equivalent one-sorted geometrical structure, called incidence spatial frame, which is suitable for modal considerations. We are going to prove completeness by SD-Theorem. Extensions to projective, affine and hyperbolic geometries are also considered.

An axiomatization of fuzzy classes.

Nando Prati (1988)

Stochastica

An axiomatization of fuzzy classes more general than usual fuzzy sets is proposed. Connections and interpretations with other axiomatizations of set theory and fuzzy set theory are investigated.

An elementary class extending abelian-by- G groups, for G infinite

Carlo Toffalori (1996)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

We show that for no infinite group G the class of abelian-by- G groups is elementary, but, at least when G is an infinite elementary abelian p -group (with p prime), the class of groups admitting a normal abelian subgroup whose quotient group is elementarily equivalent to G is elementary.

An essay on model theory

Ludomir Newelski (2003)

Open Mathematics

Some basic ideas of model theory are presented and a personal outlook on its perspectives is given.

An extension method for t-norms on subintervals to t-norms on bounded lattices

Funda Karaçal, Ümit Ertuğrul, M. Nesibe Kesicioğlu (2019)

Kybernetika

In this paper, a construction method on a bounded lattice obtained from a given t-norm on a subinterval of the bounded lattice is presented. The supremum distributivity of the constructed t-norm by the mentioned method is investigated under some special conditions. It is shown by an example that the extended t-norm on L from the t-norm on a subinterval of L need not be a supremum-distributive t-norm. Moreover, some relationships between the mentioned construction method and the other construction...

An extension of the ordering based on nullnorms

Emel Aşıcı (2019)

Kybernetika

In this paper, we generally study an order induced by nullnorms on bounded lattices. We investigate monotonicity property of nullnorms on bounded lattices with respect to the F -partial order. Also, we introduce the set of incomparable elements with respect to the F-partial order for any nullnorm on a bounded lattice. Finally, we investigate the relationship between the order induced by a nullnorm and the distributivity property for nullnorms.

Currently displaying 581 – 600 of 5971