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.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.