Publication Details:

Established in 2008

Journal or Publication Title:

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

Date of publication:

2008

Volume:

1

Number:

2

ISSN:

1829-1163

Official URL:

Contributor(s):

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

Coverage:

30-36

Abstract:

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.

Publisher:

National Academy of Sciences of Armenia

Date created:

2008-10-01

Format:

pdf

Identifier:

oai:arar.sci.am:13205

General note:

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

Digitization:

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

Location of original object:

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