Pavelka-style completeness in expansions of Łukasiewicz logic

Simple item page
dc.creatorFreytes, Hector
dc.date2008-06-30
dc.date.accessioned2026-07-07T09:47:30Z
dc.date.available2026-07-07T09:47:30Z
dc.descriptionAn algebraic setting for the validity of Pavelka style completeness for some natural expansions of Łukasiewicz logic by new connectives and rational constants is given. This algebraic approach is based on the fact that the standard MV-algebra on the real segment $[0, 1]$ is an injective MV-algebra. In particular the logics associated with MV-algebras with product and with divisible MV-algebras are considered.
dc.identifierhttps://arxiv.org/abs/0806.4949
dc.identifierhttp://arxiv.org/abs/0806.4949
dc.identifierArchive for Mathematical Logic, 05.03.2008, vol. 47, no. 1, pp. 15-23
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/163903
dc.subjectLogic
dc.titlePavelka-style completeness in expansions of Łukasiewicz logic
dc.typetext

Files

Collections

arXiv