Օբյեկտ

Վերնագիր: Categorical Abstract Algebraic Logic: Closure Operators on Classes of PoFunctors

Publication Details:

Established in 2008

Journal or Publication Title:

Armenian Journal of Mathematics=Հայկական մաթեմատիկական հանդես

Date of publication:

2012

Volume:

4

Number:

1

ISSN:

1829-1163

Official URL:


Contributor(s):

Գլխ. խմբ.՝ Անրի Ներսեսյան ; Պատ. խմբ.՝ Լինդա Խաչատրյան ; Խմբ. տեղակալ՝ Ռաֆայել Բարխուդարյան

Coverage:

1-24

Abstract:

Following work of Palasinska and Pigozzi on partially ordered varieties and quasi-varieties of universal algebras, the author recently introduced partially ordered systems (posystems) and partially ordered functors (pofunctors) to cover the case of the algebraic systems arising in categorical abstract algebraic logic. Analogs of the ordered homomorphism theorems of universal algebra were shown to hold in the context of pofunctors. In the present work, operators on classes of pofunctors are introduced and it is shown that classes of pofunctors are closed under the HSP and the SPPU operators, forming analogs of the well-known variety and quasi-variety operators, respectively, of universal algebra.

Publisher:

National Academy of Sciences of Armenia

Date created:

2012-05-25

Format:

pdf

Identifier:

oai:arar.sci.am:13250

General note:

Electronic Open Access Publication of the National Academy of Sciences of Armenia

Digitization:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Location of original object:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Օբյեկտի հավաքածուներ:

Վերջին անգամ ձևափոխված:

Apr 19, 2024

Մեր գրադարանում է սկսած:

Feb 12, 2020

Օբյեկտի բովանդակության հարվածների քանակ:

11

Օբյեկտի բոլոր հասանելի տարբերակները:

https://arar.sci.am/publication/14961

Ցույց տուր նկարագրությունը RDF ձևաչափով:

RDF

Ցույց տուր նկարագրությունը OAI-PMH ձևաչափով։

OAI-PMH

Հրատարակության անուն Ամսաթիվ
Categorical Abstract Algebraic Logic: Closure Operators on Classes of PoFunctors Apr 19, 2024

Օբյեկտի տեսակ՝

Նման

Այս էջը օգտագործում է 'cookie-ներ'։ Ավելի տեղեկատվություն