Generalized deductive systems in subregular varieties
An algebra A = (A,F) is subregular alias regular with respect to a unary term function g if for each Θ, Φ ∈ Con A we have Θ = Φ whenever [g(a)]Θ = [g(a)]Φ for each a ∈ A. We borrow the concept of a deductive system from logic to modify it for subregular algebras. Using it we show that a subset C ⊆ A is a class of some congruence on Θ containing g(a) if and only if C is this generalized deductive s…
Šis skaitmeninis objektas teikiamas ir prižiūrimas Library of the Czech Academy of Sciences .
Peržiūrėti teikėjo svetainę
(atsidaro naujame lange)
Autorius
- Chajda, Ivan
Tema
- regular variety
- subregular variety
- deductive system
- congruence class
- difference system
Skaitmeninis objektas tipas
- model:article
Autorius
- Chajda, Ivan
Tema
- regular variety
- subregular variety
- deductive system
- congruence class
- difference system
Skaitmeninis objektas tipas
- model:article
Agregatorius
Šiame Skaitmeninis objektas esančios teisių pareikštys (jei nenurodyta kitaip)
- http://creativecommons.org/licenses/by-nc-sa/4.0/
Teisės
- policy:public
Vieta-laikas
- 319-324
Šaltinis
- Mathematica bohemica | 2003 Volume:128 | Number:3
Identifikatorius
- https://cdk.lib.cas.cz/client/handle/uuid:5b7b63d7-f9f6-4d87-8293-1c07dbed1205
- uuid:5b7b63d7-f9f6-4d87-8293-1c07dbed1205
- doi:10.21136/MB.2003.134184
- uuid:5b7b63d7-f9f6-4d87-8293-1c07dbed1205
Formatas
- bez média
- svazek
Kalba
- eng
- eng
Teikianti šalis
- Czech Republic
Kolekcijos pavadinimas
Pirmą kartą paskelbta Europeana
- 2021-05-21T06:43:45.539Z
Paskutinį kartą atnaujinta iš teikėjas
- 2021-12-25T05:07:51.358Z
Atraskite susijusias kolekcijas
Atraskite susijusius skaitmeniniai objektai
Holdon, Liviu-Constantin
Library of the Czech Academy of Sciences
Kisela, Tomáš
Library of the Czech Academy of Sciences