ka | en

Authorisation

Unification Problem in Variety of 4-Valued Generalized Post Algebras

Author: Tatia Dundua
Annotation:

A 4-valued generalized Post algebra, derived from perfect MV-algebras enriched with two constants, is axiomatically introduced. The problem of unification in variety generated by 4-valued generalized Post algebras is studied.

Lecture files:

უნიფიკაციის პრობლემა 4-ნიშნა განზოგადოებულ პოსტის ალგებრათა მრავალსახეობაში [ka]