Նիւթ

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

Ստեղծողը:

Voutsadakis George

Տեսակ:

Հոդված

Հրապարակման մանրամասներ:

Established in 2008

Ամսագրի կամ հրապարակման վերնագիր:

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

Հրապարակման ամսաթիւ:

2012

Հատոր:

4

Համար:

1

ISSN:

1829-1163

Պաշտոնական URL:


Աջակից(ներ):

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

Ծածկոյթ:

1-24

Ամփոփում:

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.

Հրատարակիչ:

National Academy of Sciences of Armenia

Ստեղծման ամսաթիւը:

2012-05-25

Ձեւաչափ:

pdf

Նոյնացուցիչ:

oai:arar.sci.am:13250

Գլխաւոր նշումը:

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

Թուայնացում:

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

Բնօրինակին գտնուելու վայրը:

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

Նիւթին հաւաքածոները:

Վերջին անգամ ձեւափոխուած է:

Apr 19, 2024

Մեր գրադարանին մէջ է սկսեալ:

Feb 12, 2020

Նիւթին բովանդակութեան հարուածներուն քանակը:

9

Նիւթին բոլոր հասանելի տարբերակները:

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-ներ'։ Յաւելեալ տեղեկատուութիւն