In this paper the notion of an essential closed deductive system of a pseudo-BCI algebra is defined and investigated. Among other things, it is proved that such a deductive system contains all coatoms of the pseudo-BCI algebra. Also, the notions of homomorphisms and semihomomorphisms of pseudo-BCI algebras are studied and some of their properties are presented.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The introduction of information system homomorphisms has made a substantial contribution to attribute reduction. However, the efforts made on homomorphisms are far from sufficient. This paper further investigates homomorphisms between covering approximation spaces. First, we introduce the concepts of upper and lower homomorphisms as well as homomorphisms in order to study the relationship between covering approximation spaces. Then we present the notions of covering approximation subspaces and product spaces. We also compress covering approximation spaces and covering information systems with the aim of attribute reduction. Afterwards, by utilizing the compressions of the original spaces and systems we compress the dynamic covering approximation spaces and dynamic covering information systems. Several illustrative examples are employed to demonstrate that the homomorphisms provide an effective approach for compressing covering approximation spaces and covering information systems.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In this paper we present some results about weakly compact homomorphisms from a uniform algebra A into a uniform Algebra B, which is an integral domain. The main result says that if h : A -> B is a weakly compact homomorphism then h*(Sigma[B]) meets one, and only one, Gleason part of the spectrum Sigma[A] of A.
4
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Let R be a semiprime ring with center Z(R) and (…) be a surjective ho-omorphism. In this paper, we prove that T is a (…)-centralizer if one of the following holds: (…).
5
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In this paper the notion of an essential closed deductive system of a pseudo-BCI algebra is defined and investigated. Among other things, it is proved that such a deductive system contains all coatoms of the pseudo-BCI algebra. Also, the notions of homomorphisms and semihomomorphisms of pseudo-BCI algebras are studied and some of their properties are presented.
6
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The notion of homomorphism, as an important tool for studying the relationship between information systems, has attracted a great deal of attention in recent years, and the authors tend to pay their attention to static information systems in the existing studies. In the present paper, we aim to study homomorphisms between fuzzy relation information systems (FRISs) in dynamic environments, where the terminology of dynamic refers to the fact that the involved information systems need to be updated with time due to the inflow of new information. To be more specific, we firstly examine properties of consistent functions with respect to fuzzy relations and construct homomorphisms between FRISs. Then, we develop incremental mechanisms of computing homomorphisms between dynamic FRISs and illustrate how to construct relation reducts of dynamic FRISs using homomorphisms. Lastly, the experimental results are employed to demonstrate that compressing dynamic FRISs can be simplified significantly with the proposed algorithms.
7
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In recent years, homomorphisms have been exploited to compare the structures and properties of two generalized information systems. Some of these homomorphisms are based on consistent functions, which are a class of special mappings between universal sets. The purpose of this paper is to unify and extend the consistent functions in the literature into the framework of neighborhood systems. After introducing the notion of consistent functions with respect to neighborhood systems, we explore some important properties of the extended consistent functions such as preserving the inverse images and the intersections of neighborhoods. Our results provide a sound basis for further investigating neighborhood systems via homomorphisms.
8
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We study runtime distributions of subsumption testing. On graph data randomly sampled from two different generative models we observe a gradual growth of the tails of the distributions as a function of the problem instance location in the phase transition space. To avoid the heavy tails, we design a randomized restarted subsumption testing algorithm RESUMER2. The algorithm is complete in that it correctly decides both subsumption and non-subsumption in finite time. A basic restarted strategy is augmented by allowing certain communication between odd and even restarts without losing the exponential runtime distribution decay guarantee resulting from mutual independence of restart pairs. We empirically test RESUMER2 against the state-of-the-art subsumption algorithm Django on generated graph data as well as on the predictive toxicology challenge (PTC) data set. RESUMER2 performs comparably with Django for relatively small examples (tens to hundreds of literals), while for further growing example sizes, RESUMER2 becomes vastly superior.
Isomorphism has become a key concept for the analysis of representation in many contexts: perceptual experience, mental imagery, scientific theories, and visual artwork may all be described as standing in isomorphisms to their targets. Yet isomorphism is a technical term from mathematics-how are we to evaluate its use in fields such as philosophy, psychology, neuroscience, or physics? I suggest that we should understand appeals to isomorphism as allegorical; the upshot of this suggestion is that isomorphism claims always operate on two distinct levels of significance, with different standards of precision and evaluation. Recognizing these levels as distinct changes the landscape of debate for isomorphism-based accounts of representation: it both dissolves the well-known triviality objection to these accounts and undermines strong forms of structural realism.
10
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Let L, L1 be orthomodular lattices. Let us say that a surjective homomorphism f : L - L1 is Boolean carried if for any maximal Boolean subalgebra B1 of L1 there is a maximal Boolean subalgebra B of L such that f(B) = B1. In this note we investigate the class HOMC all L's such that all surjective homomorphisms from L to orthomodular lattices are Boolean carried. We prove as a main result that if L possesses at most countably many infinite maximal Boolean subalgebras then L L HOMC- We also relate the class HOMCto the classes previously studied and provide some model-theoretic propertiesHOMC.
13
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Construction of retracts of a general algebra is described by using retracts of mono-unary algebras. Inspirational influence of the theory of Pawlak machines is mentioned.
14
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Od niezliczonych pokoleń ludzkie reakcje na bodźce z otoczenia powtarzają się. Przekazywane genetycznie w więźbie aksonów są stale weryfikowane. Miara piękna, odbicie harmonii świata codziennie wdrukowuje się w strukturę mózgu. Przyjemność estetyczna jest zakorzeniona w najstarszych ewolucyjnie częściach mózgu i wyrasta z poczucia zadowolenia, z braku zagrożeń. W naszym umyśle tkwi wzorzec kompozycji idealnej - witruwiańskie venustas.
EN
Experiences, which have been concentrated and layered by thousands of generations in the inner being of man subsequently formed an ideal image of amicable environment, good composition and form. Human mind is a resonator of good form. The work of art built according to rules of such resonance contains visual truth about nature: venustas.
Characterizations of IF-filters of a pseudo-BL-algebra are established. Some related properties are investigated. The notation of prime IF- filters and a characterization of a pseudo-BL-chain are given. Homomorphisms of IF-filters and direct product of IF-filters are studied.
16
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Let R be a unitary ring and (A,║‧║) stand for a Banach algebra with a unit. In connection with some stability results of R. Badora [1] and D.G. Bourgin [2] concerning the system of two Cauchy functional equations [formula] for mappings f : R→ A, we deal with Hyers-Ulam stability problem for a single equation f(x + y) + f(xy) = f(x) + f(y) + f(x)f(y). The basic question whether or not equation (**) is equivalent to the system (*) has widely been examined by J. Dhombres [3] and the present author in [4] and [5].
17
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In this paper we determine, or give lower and upper bounds on, the 2-dipath and oriented L(2, 1)-span of the family of planar graphs, planar graphs with girth 5, 11, 16, partial k-trees, outerplanar graphs and cacti.
In the paper there are investigated some properties of Lie algebras, the construction which has a wide range of applications like computer sciences (especially to computer visions), geometry or physics, for example. We concentrate on the semidirect sum of algebras and there are extended some theoretic designs as conditions to be a center, a homomorphism or a derivative. The Killing form of the semidirect sum where the second component is an ideal of the first one is considered as well.
19
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Recently, Buhagiar and Chetcuti [1] have shown that if V1 and V2 are two separable, real inner product spaces such that the modular ortholattices of their finite and cofmite subspaces are algebraically isomorphic, then V1 and V2 are isomorphic as inner product spaces. Their proof is based on the properties of inner product spaces, in particular it makes use of Gleason's theorem. In this note we show, using techniques of projective geometry, that their result holds for any inner product spaces, real, complex or quaternionic, of dimension at least three, not necessarily separable. We also consider the case when the algebraic isomorphism is replaced by a homomorphism, and the case when the underlying fields of V1 and V2 are not the same.
20
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Generalized Place/Transition Petri nets, called contextual nets, and processes of such nets are considered. Processes of contextual nets are represented as partial orders with some extra structure. Operations of composing processes are defined such that each process of a contextual net can be obtained by combining processes corresponding to places and transitions of this net. Matrix-like characteristics of processes, called tables, and natural operations on such characteristics are defined such that the correspondence between processes and their characteristics is a homomorphism.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.