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…
Soláthraíonn Library of the Czech Academy of Sciences an mhír seo agus déanann sé cothabháil uirthi
Amharc air ag láithreán institiúid sholáthartha
(osclaítear i bhfuinneog nua é)
Cruthaitheoir
- Chajda, Ivan
Ábhar
- regular variety
- subregular variety
- deductive system
- congruence class
- difference system
Cineál míre
- model:article
Cruthaitheoir
- Chajda, Ivan
Ábhar
- regular variety
- subregular variety
- deductive system
- congruence class
- difference system
Cineál míre
- model:article
Institiúidí soláthartha
Comhbhailitheoir
Ráiteas um Chearta Ceadúnas do na meáin sa mhír seo (mura sonraítear a mhalairt)
- http://creativecommons.org/licenses/by-nc-sa/4.0/
Cearta
- policy:public
Láthair-Am
- 319-324
Foinse
- Mathematica bohemica | 2003 Volume:128 | Number:3
Aitheantóir
- 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
Formáid
- bez média
- svazek
Teanga
- eng
- eng
Tír sholáthair
- Czech Republic
Ainm bailiúcháin
Ar fáil den chéad uair ar Europeana
- 2021-05-21T06:43:45.539Z
An uair dheireanach a nuashonraíodh ón institiúid sholáthartha
- 2021-12-25T05:07:51.358Z
Faigh amach bailiúcháin ghaolmhara
Faigh amach míreanna gaolmhara
Holdon, Liviu-Constantin
Library of the Czech Academy of Sciences
Kisela, Tomáš
Library of the Czech Academy of Sciences