Decidable and undecidable MV-algebras

DOI10.1007/BF01188059zbMath0563.03039MaRDI QIDQ1057270

H. W. Buff

Publication date: 1985

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

MV-algebraelementary theory

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25) Many-valued logic (03B50) Word problems, etc. in computability and recursion theory (03D40)

Related Items (3)

Hyperfinite MV-algebras ⋮ Varieties generated by unital abelian \(\ell\)-groups ⋮ The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview

Cites Work

• Unnamed Item
• Complete theories
• Algebraic Analysis of Many Valued Logics
• Fragments of Many-Valued Statement Calculi
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Arithmetische Theorie derMV-Algebren endlicher Ordnung
• Embeddability and the Word Problem

This page was built for publication: Decidable and undecidable MV-algebras