PL
 |
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 4

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 Free three-valued Closure \ Lukasiewicz Algebras
100%
Abad M. , Diaz Varela J. P. , Rueda L. , Suardiaz A. M.
Reports on Mathematical Logic
|
2007
|
tom No. 42
3-17
EN
In this paper, the structure of finitely generated free objects in the variety of three-valued closure \ Lukasiewicz algebras is determined. We describe their indecomposable factors and we give their cardinality.
2
Content available remote Boolean algebras with a distinguished automorphism
100%
Abad M. , Díaz Varela J. P. , Zander M.
Reports on Mathematical Logic
|
2003
|
tom No. 37
1001-112
EN
In this paper we investigate a subvariety BA of tense algebras, which we call Boolean algebras with a distinguished automorphism. This variety provides a unifying framework for the algebras studied by Monteiro in [4] and by Moisil in [5,6]. Among others we prove that BA is generated by its finite members and we characterize the locally finite subvarieties of BA.
3
Content available remote The Variety of Semi-Heyting Algebras Satisfying the equation (0 rightarrow1)*bigwedge (0 rightarrow 1)**almost equal to 1
100%
Abad M. , Cornejo J. M. , Varela J. P. D.
Reports on Mathematical Logic
|
2011
|
tom Vol. 46
75-90
EN
In [4, Definition 8.1], some important subvarieties of the variety SH of semi-Heyting algebras are defined. The purpose of this paper is to introduce and investigate the subvariety ISSH of SH, characterized by the identity (0 rightarrow1)*bigwedge (0 rightarrow 1)**almost equal to 1. We prove that ISSH contains all the subvarieties introduced by Sankappanavar and it is in fact the least subvariety of SH with this property. We also determine the sublattice generated by the subvarieties introduced in [4, Definition 8.1] within the lattice of subvarieties of semi-Heyting algebras.
4
Content available remote Subalgebras of a finite monadic Boolean Algebra
88%
Monteiro L. , Abad M. , Savini S. , Sewald J. , Zander M.
Reports on Mathematical Logic
|
2006
|
tom Nr 40
199-206
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ć.