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…
Sortzailea
- Chajda, Ivan
Gaia
- regular variety
- subregular variety
- deductive system
- congruence class
- difference system
Elementu mota
- model:article
Sortzailea
- Chajda, Ivan
Gaia
- regular variety
- subregular variety
- deductive system
- congruence class
- difference system
Elementu mota
- model:article
Erakunde hornitzailea
Agregatzailea
Elementu honen baimenen egoera (besterik adierazi ezean)
- http://creativecommons.org/licenses/by-nc-sa/4.0/
Baimenak
- policy:public
Lekua-Unea
- 319-324
Iturria
- Mathematica bohemica | 2003 Volume:128 | Number:3
Identifikatzailea
- 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
Formatua
- bez média
- svazek
Hizkuntza
- eng
- eng
Herrialde hornitzailea
- Czech Republic
Bildumaren izena
Lehenengo aldiz argitaratua Europeana-n
- 2021-05-21T06:43:45.539Z
Erakunde hornitzaileak azken aldiz eguneratu du
- 2021-12-25T05:07:51.358Z