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…
Detta objekt tillhandahålls och underhålls av Library of the Czech Academy of Sciences
Visa på den tillhandahållande institution webbplats
(öppnas i nytt fönster)
Upphovsman
- Chajda, Ivan
Ämne
- regular variety
- subregular variety
- deductive system
- congruence class
- difference system
Typ av objekt
- model:article
Upphovsman
- Chajda, Ivan
Ämne
- regular variety
- subregular variety
- deductive system
- congruence class
- difference system
Typ av objekt
- model:article
Tillhandahållande institution
Aggregator
Rättighetsmärkning för media i detta objekt (om inte annat anges)
- http://creativecommons.org/licenses/by-nc-sa/4.0/
Rättigheter
- policy:public
Plats–Tid
- 319-324
Källa
- Mathematica bohemica | 2003 Volume:128 | Number:3
Identifierare
- 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
Format
- bez média
- svazek
Språk
- eng
- eng
Tillhandahållande land
- Czech Republic
Samlingens namn
Första gången publicerad på Europeana
- 2021-05-21T06:43:45.539Z
Sista uppdateringen från tillhandahållande institution
- 2021-12-25T05:07:51.358Z
Upptäck relaterade samlingar
Upptäck relaterade objekt
Holdon, Liviu-Constantin
Library of the Czech Academy of Sciences
Kisela, Tomáš
Library of the Czech Academy of Sciences