Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 3

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote

Very true operators on MTL-algebras

100%
Wang J. T., Xin X. L., Saeid A. B.
Open Mathematics
|
2016
|
tom 14
|
nr 1
955-969
EN
The main goal of this paper is to investigate very true MTL-algebras and prove the completeness of the very true MTL-logic. In this paper, the concept of very true operators on MTL-algebras is introduced and some related properties are investigated. Also, conditions for an MTL-algebra to be an MV-algebra and a Gödel algebra are given via this operator. Moreover, very true filters on very true MTL-algebras are studied. In particular, subdirectly irreducible very true MTL-algebras are characterized and an analogous of representation theorem for very true MTL-algebras is proved. Then, the left and right stabilizers of very true MTL-algebras are introduced and some related properties are given. As applications of stabilizer of very true MTL-algebras, we produce a basis for a topology on very true MTL-algebras and show that the generated topology by this basis is Baire, connected, locally connected and separable. Finally, the corresponding logic very true MTL-logic is constructed and the soundness and completeness of this logic are proved based on very true MTL-algebras.
2
Content available remote

Uniform topology onEQ-algebras

100%
Yang J., Long Xin X., He P. F.
Open Mathematics
|
2017
|
tom 15
|
nr 1
354-364
EN
In this paper, we use filters of an EQ-algebra E to induce a uniform structure (E, 𝓚), and then the part 𝓚 induce a uniform topology 𝒯 in E. We prove that the pair (E, 𝒯) is a topological EQ-algebra, and some properties of (E, 𝒯) are investigated. In particular, we show that (E, 𝒯) is a first-countable, zero-dimensional, disconnected and completely regular space. Finally, by using convergence of nets, the convergence of topological EQ-algebras is obtained.
3
Content available remote

Topological representation for monadic implication algebras

76%
Abad M., Cimadamore C., Díaz Varela J.
Open Mathematics
|
2009
|
tom 7
|
nr 2
299-309
EN
In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic implication space, we give a topological representation for monadic implication algebras and we prove a dual equivalence between the category of monadic implication algebras and the category of monadic implication spaces.
first rewind previous Strona / 1 next fast forward last
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ć.