Preservation theorems for MTL-chains

DOI10.1093/JIGPAL/JZP088MaRDI QIDQ2885175zbMATH OpenOpenAlexFDO

Authors C. J. van Alten

Publication date 21 May 2012

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzp088

zbMATH Keywords

finite embeddability propertyMacNeille completionMTL-algebraMTL-chain

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Review text

The author studies two constructions on MTL-chains and obtains new MTL-chains from an existing one. The preservation of properties via these constructions is investiged: whether a property that holds in the initial MTL-chain also holds in the constructed MTL-chain.

Recommendations

• Modal MTL-algebras
• Pseudo-quasi-equivalence on finite MTL-chains
• On finite MTL-algebras that are representable as poset products of Archimedean chains
• A Lindström theorem in many-valued modal logic over a finite MTL-chain
• Archimedean classes in integral commutative residuated chains

Cited in

(6)

• Supersound many-valued logics and Dedekind-MacNeille completions
• Join-completions of partially ordered algebras
• Modal MTL-algebras
• Pseudo-quasi-equivalence on finite MTL-chains
• Split exact sequences of finite MTL-chains
• n-contractive BL-logics

This page was built for publication: Preservation theorems for MTL-chains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2885175)