Studia Logica

, Volume 101, Issue 3, pp 483-485

First online:

The Intimate Relationship Between the McNaughton and the Chinese Remainder Theorems for MV-algebras

  • Eduardo J. DubucAffiliated withDpto, de Matematicas, F.C.E y N., Universidad de Buenos Aires CABA Email author 
  • , Yuri PovedaAffiliated withDpto. de Matematicas, Universidad Tecnologica de Pereira

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


We show the intimate relationship between McNaughton Theorem and the Chinese Remaindner Theorem for MV-algebras. We develop a very short and simple proof of McNaughton Theorem. The arguing is elementary and right out of the definitions. We exhibit the theorem as just an instance of the Chinese theorem. Since the variety of MV-algebras is arithmetic, the Chinese theorem holds for MV-algebras. However, to make this paper self-contained and entirely elementary, we include a simple proof of this theorem inspired in Ferraioli and Lettieri (Math Logic Q 1:27–43, 2011).


MV-algebras McNaughton Theorem Chinese Theorem