Օբյեկտ

Վերնագիր: Definition of Strong Equality of Tautologies and Universal System for Various Propositional Logics

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

Established in 2008

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

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

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

2008

Հատոր:

1

Համար:

2

ISSN:

1829-1163

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


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

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

Ծածկույթ:

30-36

Ամփոփում:

Earlier we have introduced a definition of strong equality of classical tautologies, according to which two tautologies are equal iff they have the same hardness. The strong equality implies well known equality, but not vice versa. The strong equality is based on the notion of determinitive conjunct, using of which some new deduction system for classical propositional logic were defined. Here the notions of strong equality of tautologies for various logics are suggested and the idea of construction of universal deduction system for various propositional logics is given.

Հրատարակիչ:

National Academy of Sciences of Armenia

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

2008-10-01

Ձևաչափ:

pdf

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

oai:arar.sci.am:13205

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

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

Թվայնացում:

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

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

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

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

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

Apr 19, 2024

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

Feb 12, 2020

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

25

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

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

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

RDF

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

OAI-PMH

Հրատարակության անուն Ամսաթիվ
Definition of Strong Equality of Tautologies and Universal System for Various Propositional Logics Apr 19, 2024

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

Նման

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