0 формулах м-переменних в исчислениях Лукасевича

Abstract

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.