ka | en
ავტორიზაცია
უნიფიკაციის პრობლემა 4-ნიშნა განზოგადოებულ პოსტის ალგებრათა მრავალსახეობაში
ავტორი: თათია დუნდუაანოტაცია:
აქსიომატიკურად შემოღებულია 4-ნიშნა განზოგადოებული პოსტის ალგებრა, რომელიც მიღებულია ორი კონსტანტით გამდიდრებული სრულყოფილი MV-ალგებრებიდან. შესწავლილია უნიფიკაციის პრობლემა 4-ნიშნა განზოგადოებულ პოსტის ალგებრებით წარმოქმნილ მრავალსახეობაში.
მიმაგრებული ფაილები:
უნიფიკაციის პრობლემა 4-ნიშნა განზოგადოებულ პოსტის ალგებრათა მრავალსახეობაში [ka]