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

• Authors: Григолия, Резо

Title variants

О formułach m-zmiennych w rachunkach Łukasiewlcza

Abstracts

PL

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.

• Publisher: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
• Journal: Acta Universitatis Lodziensis. Folia Philosophica. Ethica – Aesthetica – Practica
• Year: 1985
• Volume: 03

Dates

published

1985

Contributors

author

Григолия, Резо

other

Кафедра философии Тбнлиского Государственного Университета

Identifiers

URI

http://hdl.handle.net/11089/8636