The variety generated by all the ordinal sums of perfect MV-chains

DOI10.1007/S11225-012-9371-5zbMATH Open1282.03025DBLPjournals/sLogica/Bianchi13arXiv1103.5943OpenAlexW2023886474WikidataQ59321740 ScholiaQ59321740MaRDI QIDQ361853FDOQ361853

Authors: Matteo Bianchi 

Publication date: 19 August 2013

Published in: Studia Logica (Search for Journal in Brave)

Abstract: We present the logic BL_Chang, an axiomatic extension of BL (see P. H'ajek - Metamathematics of fuzzy logic - 1998, Kluwer) whose corresponding algebras form the smallest variety containing all the ordinal sums of perfect MV-chains. We will analyze this logic and the corresponding algebraic semantics in the propositional and in the first-order case. As we will see, moreover, the variety of BL_Chang-algebras will be strictly connected to the one generated by Chang's MV-algebra (that is, the variety generated by all the perfect MV-algebras): we will also give some new results concerning these last structures and their logic.

Full work available at URL: https://arxiv.org/abs/1103.5943

Recommendations

• Generating the variety of BL-algebras
• Subvarieties of BL-algebras generated by single-component chains
• The variety generated by perfect BL-algebras: an algebraic approach in a fuzzy logic setting
• Free algebras in varieties of BL-algebras generated by a chain.
• Varieties of BL-algebras

zbMATH Keywords

many-valued logicsBL-algebrasbasic logicperfect MV-algebrasWajsberg hoopsŁukasiewicz logic

Mathematics Subject Classification ID

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

Cites Work

• Metamathematics of fuzzy logic
• Algebraic Analysis of Many Valued Logics
• Title not available (Why is that?)
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• On the structure of rotation-invariant semigroups
• Triangular norm based predicate fuzzy logics
• Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
• Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
• Varieties of BL-algebras. I: General properties.
• Basic hoops: an algebraic study of continuous t-norms
• Title not available (Why is that?)
• On the structure of hoops
• Hoops and Fuzzy Logic
• Supersound many-valued logics and Dedekind-MacNeille completions
• Local MV-algebras
• Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
• The variety generated by perfect BL-algebras: an algebraic approach in a fuzzy logic setting
• Decomposition of BL-chains
• Perfect MV-algebras and their logic
• On theories and models in fuzzy predicate logics
• On witnessed models in fuzzy logic
• Applications of Finite Duality to Locally Finite Varieties of BL-Algebras
• Completeness with respect to a chain and universal models in fuzzy logic

Cited In (3)

• On linear varieties of MTL-algebras
• Perfect MV-algebras and their logic
• Structural completeness and unification problem of the logic of Chang algebra

This page was built for publication: The variety generated by all the ordinal sums of perfect MV-chains

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