Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
From MaRDI portal
Publication:2433099
DOI10.1007/s11225-006-8302-8zbMath1115.06006MaRDI QIDQ2433099
Roberto L. O. Cignoli, Antoni Torrens Torrell
Publication date: 27 October 2006
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-006-8302-8
free algebras; Boolean products; MTL-algebras; NM-algebras; Boolean retraction property; DL-algebras; Glivenko MTL-algebras
03G25: Other algebras related to logic
06E15: Stone spaces (Boolean spaces) and related structures
06D35: MV-algebras
08B20: Free algebras
Related Items
Quasi-discriminator varieties, Co-rotation constructions of residuated semigroups, The variety generated by all the ordinal sums of perfect MV-chains, Bilattices with implications, Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices, Generalized Bosbach and Riečan states based on relative negations in residuated lattices, Priestley duality for bilattices, Erratum to: ``Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \({2(x^2) = (2x)^2}\), Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras), Varieties of interlaced bilattices, Free-decomposability in varieties of pseudocomplemented residuated lattices, Relative negations in non-commutative fuzzy structures, Boolean representation of bounded BCK-algebras, Co-rotation-annihilations of residuated semigroups, Complexity of some language fragments of fuzzy logics, Factor varieties, States and internal states on semihoops, Extension properties and subdirect representation in abstract algebraic logic, Finitary extensions of the nilpotent minimum logic and (almost) structural completeness, Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term, On linear varieties of MTL-algebras, Representation by triples of algebras with an MV-retract, A temporal semantics for nilpotent minimum logic, Generalized Bosbach states. I, First-order nilpotent minimum logics: first steps, A categorical equivalence for Stonean residuated lattices, Lattice-theoretic properties of algebras of logic, Free algebras in varieties of Stonean residuated lattices, Paraconsistent Modal Logics, Hyperstates of Involutive MTL-Algebras that Satisfy $$(2x)^2=2(x^2)$$
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Standard completeness of Hájek basic logic and decompositions of BL-chains
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
- On the continuity points of left-continuous t-norms
- A proof of standard completeness for Esteva and Godo's logic MTL
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- Free algebras in varieties of BL-algebras with a Boolean retract.
- Free cancellative hoops
- On the structure of hoops
- Boolean products of MV-algebras: hypernormal MV-algebras
- Equational characterization of all varieties of MV-algebras
- Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
- Algebraizable logics
- Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
- Sheaf Constructions and Their Elementary Properties
- Hoops and Fuzzy Logic
- Glivenko like theorems in natural expansions of BCK-logic
- Free L-algebras
- On Some Varieties of MTL-algebras