PROJECTIVITY AND UNIFICATION IN LOCALLY FINITE VARIETIES OF MONADIC MV -ALGEBRAS

descriptionPublicationkeyboard_double_arrow_right Article 01 Jan 2019 Italy Publisher:Ivane Javakhishvili Tbilisi State University, A. Razmadze Mathematical Institute, Tbilisi; Elsevier, Amsterdam

Authors: Di Nola, A.; Grigolia, R.; Lenzi, G.;

handle: 11386/4729331

PROJECTIVITY AND UNIFICATION IN LOCALLY FINITE VARIETIES OF MONADIC MV -ALGEBRAS

- Summary
- Subjects
- Metrics

Abstract

Summary: A duality between the category of finite monadic MV-algebras and a category of labelled finite Boolean spaces is given. A characterization of projectivity in some locally finite varieties of monadic MV-algebras is provided. Finally, we show that the unification type of these varieties is unitary.

Country

Italy

Related Organizations

Università degli studi di Salerno
Italy

Keywords

MV-algebras, monadic MV-algebras, finitely valued Łukasiewicz logic, Keywords Author Keywords:MV-algebras; Monadic MV-algebras; Finitely valued Lukasiewicz logic

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

0

Average

Upload OA version

Are you the author of this publication? Upload your Open Access version to Zenodo!

It’s fast and easy, just two clicks!

uploadUpload now