0 формулах м-переменних в исчислениях Лукасевича
Streszczenie
Tematyka pracy nawiązuje do niezmiernie waZnego nurtu badań
logicznych - badan algebr wolnych w klasie algebraicznych (matrycowych)
modeli danego rachunku logicznego i uzyskiwanie charakteryzacji
tzw. algebr Lindenbauma.
Rozważania prowadzone są w dwóch przypadkach: nieskończonej
logiki Łukasiewicze i skończenie wartościowych logik Lukasiewicza.
W przypadku pierwszym algebraicznymi modelami są tzw. MV-algebry
Changa, a w drugim zdefiniowane przez autora MVn-algebry. Głównymi
wynikami Są: twierdzenie 4 podające kształt wolnej m-generowanej
MNm-sigebry oraz twierdzenie 5, uogólniające ten rezultat na klasę
algebr Change.