pith. sign in

arxiv: 0806.4949 · v1 · submitted 2008-06-30 · 🧮 math.LO

Pavelka-style completeness in expansions of L ukasiewicz logic

classification 🧮 math.LO
keywords algebraiccompletenessexpansionslogicmv-algebramv-algebrasukasiewiczapproach
0
0 comments X
read the original abstract

An algebraic setting for the validity of Pavelka style completeness for some natural expansions of \L 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.