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: 8

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

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych:  congruence
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Minimal formations of universal algebras

100%
Guo W., Shum K.
Discussiones Mathematicae - General Algebra and Applications
|
2001
|
tom 21
|
nr 2
201-205
EN
A class ℱ of universal algebras is called a formation if the following conditions are satisfied: 1) Any homomorphic image of A ∈ ℱ is in ℱ; 2) If α₁, α₂ are congruences on A and $A/α_{i} ∈ ℱ$, i = 1,2, then A/(α₁∩α₂) ∈ ℱ. We prove that any formation generated by a simple algebra with permutable congruences is minimal, and hence any formation containing a simple algebra, with permutable congruences, contains a minimum subformation. This result gives a partial answer to an open problem of Shemetkov and Skiba on formations of finite universal algebras proposed in 1989.
2
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Prime counting function π

100%
Górowski J., Łomnicki A.
Annales Universitatis Paedagogicae Cracoviensis | Studia ad Didacticam Mathematicae Pertinentia
|
2013
|
tom 5
71-76
PL
The aim of this paper is to derive new explicit formulas for thefunction π, where π(x) denotes the number of primes not exceeding x. Some justifications and generalisations of the formulas obtained by Willans (1964),Minac (1991) and Kaddoura and Abdul-Nabi (2012) are also obtained.
3
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Around the Wilson's theorem

100%
Górowski J., Łomnicki A.
Annales Universitatis Paedagogicae Cracoviensis | Studia ad Didacticam Mathematicae Pertinentia
|
2013
|
tom 5
51-56
PL
In this paper some known conditions and new congruences characterising prime numbers are given. Some of them are obtained by the generalised Wilson theorem given by Gauss. The elementary proof of this theorem is also presented.
4
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

An Investigation into Intuitionistic Logic with Identity

88%
Chlebowski S., Leszczyńska-Jasion D.
Bulletin of the Section of Logic
|
2019
|
tom 48
|
nr 4
EN
We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity (ISCI). We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s propositional identity connective.
5
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Many Faces of Lattice Tolerances

88%
Grygiel J.
Bulletin of the Section of Logic
|
2019
|
tom 48
|
nr 4
EN
Our aim is to overview and discuss some of the most popular approaches to the notion of a tolerance relation in algebraic structures with the special emphasis on lattices.
6
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Filters of lattices with respect to a congruence

88%
Sambasiva Rao M., El-Mohsen Badawy A.
Discussiones Mathematicae - General Algebra and Applications
|
2014
|
tom 34
|
nr 2
213-219
EN
Some properties of filters on a lattice L are studied with respect to a congruence on L. The notion of a θ-filter of L is introduced and these filters are then characterized in terms of classes of θ. For distributive L, an isomorphism between the lattice of θ-filters of L and the lattice of filters of $L_{/θ}$ is obtained.
7
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Erratum to: Congruences and Ideals in a Distributive Lattice with Respect to a Derivation

88%
Barzegar H.
Bulletin of the Section of Logic
|
2019
|
tom 48
|
nr 1
EN
The present note is an Erratum for the two theorems of the paper "Congruences and ideals in a distributive lattice with respect to a derivation" by M. Sambasiva Rao.
8
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Boolean filters in pseudo-complemented almost distributive lattices

75%
Rafi N., Bandaru R., Rao G.
Discussiones Mathematicae - General Algebra and Applications
|
2015
|
tom 35
|
nr 2
119-128
EN
In this paper we have introduced the concept of Boolean filters in a pseudo-complemented Almost Distributive Lattice (pseudo-complemented ADL) and studied their properties. Finally, a Boolean filter is characterized in terms of filter congruences.
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ć.