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

Autor

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

DOI:

https://doi.org/10.18778/0208-6107.03.03

Abstrakt

Tematyka pracy nawiązuje do niezmiernie ważnego nurtu badań logicznych - badań 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 Łukasiewicza. W przypadku pierwszym algebraicznymi modelami są tzw. MVn-algebry Changa, a w drugim zdefiniowane przez autora MVn-algebry. Głównymi wynikami są: twierdzenie 4 podające kształt wolnej m-generowanej MNm-algebry oraz twierdzenie 5, uogólniające ten rezultat na klasę algebr Changa.

Bibliografia

Nishimura I., On formulas of one variable intuitionistic propositional calculus, J.S.L ., 25 (1960) , 327-331.
Google Scholar DOI: https://doi.org/10.2307/2963526

Rieger L. , A remark on the s.c. free closure algebras, "Czechoslovak Math. Journal", 82 (1957), 16-20.
Google Scholar DOI: https://doi.org/10.21136/CMJ.1957.100226

Urquhart A., Free heyting algebras, Alg. Univ., vol. 3/1 (1973), 94-97.
Google Scholar DOI: https://doi.org/10.1007/BF02945107

Horn A., Free L-algebras, J.S.L., 34(1969), 475-480.
Google Scholar DOI: https://doi.org/10.2307/2270910

Epstein G., Horn A., P-algebras, an abstraction from Post algebras, Alg. Univ., vol. 4, j.2 (1974) 195-206.
Google Scholar DOI: https://doi.org/10.1007/BF02485725

Rauazer C., Semi-Boolean algebras and their application to intuitionistic logic with dual operations, Fund. Math., 83, NЗ (1974), 219-249.
Google Scholar DOI: https://doi.org/10.4064/fm-83-3-219-249

Dwinger Ph., Free Post algebras and coproducts of Post algebras Bull. Acad. Polon., Sci. Ser. Sci. Math. Astronom. Phys., 20 (1972), 535-537.
Google Scholar

Esakia L., R. Grigolia, Christmas trees . On free cyclic algebras in some varieties of closure algebras, Bull. Sect. Lot., Pol. Acad. Sci., 4 , N3 (1975), 95-102.
Google Scholar

Грвголия P., Свободные D*-алгебры о конечным чиснок образующих, IV Всесоюзная конференция по математичеокой логике, Кишинев 1976, отр. 34.
Google Scholar

Шeхтман В, Б., Лестницы Ригера-Ниши куры, Докл. Акад. Наук., 241, N6 1978 , 1288-1291.
Google Scholar

Грнголнл Р., Свободная циклическая алгебра в э ациональном классе, соответствующей бимодальной системе LinTGrz, Логика, Семантика, Методология, Тбилиси 1978, "Мицннереба" 100- 112.
Google Scholar

Эсакиа Л., Семантический анализ бимодальных (временных) логических оиотем, Логика, Семантика, Методология, Тбилнои 1978, "Мецниереба", 87-99.
Google Scholar

Segerberg K., Modal logic with linear alternativ relation, “Theoria", 36, N 3 (1970), 301-322.
Google Scholar DOI: https://doi.org/10.1111/j.1755-2567.1970.tb00429.x

Chang C. C., Algebraic analysis of Many-valued logic, Trans. Amer. Math. Soo., 88 (1958), 467-490.
Google Scholar DOI: https://doi.org/10.1090/S0002-9947-1958-0094302-9

Grigolia R., Algebraic analysis of Lukasiewicz-Tarski’s n-valued logical systems. Selected Papers on Lukasiewicz Sentential Calculi, Ossolineum 1977, 81-91.
Google Scholar

McNaughton R., A theorem about infinite-valued sentential logic , J.S.L., 16 (1951), 1-13.
Google Scholar DOI: https://doi.org/10.2307/2268660

Pobrania

Opublikowane

1985-01-01

Jak cytować

Григолия, Р. (1985). 0 формулах m-переменних в исчислениях Лукасевича. Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica, (3), 29–36. https://doi.org/10.18778/0208-6107.03.03

Numer

Nr 3 (1985)

Dział

Articles

Licencja

Creative Commons License

Utwór dostępny jest na licencji Creative Commons Uznanie autorstwa – Użycie niekomercyjne – Bez utworów zależnych 4.0 Międzynarodowe.

Crossref
Scopus
Google Scholar
Europe PMC