A discrete free MV-algebra over one generator

DOI10.3166/jancl.11.331-339zbMath1032.06006OpenAlexW2068126212MaRDI QIDQ4443012

Antonio Di Nola, Brunella Gerla

Publication date: 8 January 2004

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.11.331-339

zbMATH Keywords

McNaughton functionsfree MV-algebraŁukasiewicz infinite-valued logic

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35) Many-valued logic (03B50)

Related Items (1)

A discrete representation of free MV-algebras

Cites Work

• The complexity of McNaughton functions of one variable
• Finiteness in infinite-valued Łukasiewicz logic
• A constructive proof of McNaughton's theorem in infinite-valued logic
• A theorem about infinite-valued sentential logic

This page was built for publication: A discrete free MV-algebra over one generator