Introduction To SN-Algebra. Identical Transformations Of Formulas

The paper is dealing with a problem of identical transformations at S N -algebra. The task about identical transformations is formulated as follows. On the set of algebra operations the specifying of full system of identities is required, i.e. it is necessary to find somewhat the elementary subset o...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Kmet, A.B.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The paper is dealing with a problem of identical transformations at S N -algebra. The task about identical transformations is formulated as follows. On the set of algebra operations the specifying of full system of identities is required, i.e. it is necessary to find somewhat the elementary subset of pairs of equal formulas realizing the same function and allowing by substitution of the found formulas of ones instead of others to get for any formula all formulas, which are equal to her
DOI:10.1109/TELSKS.2005.1572182