Formulas on the lattice of fuzzy subalgebras in universal algebra

DOI10.1016/J.FSS.2007.02.017MaRDI QIDQ2372304zbMATH OpenOpenAlexFDO

Authors Takashi Kuraoka

Publication date 26 July 2007

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.fss.2007.02.017

zbMATH Keywords

first-order formulasfuzzy subalgebraSkolem normal form

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Fuzzy algebraic structures (08A72)

Review text

The transfer principle is studied. The notions of transferable form and strict-transferable form of open formulas are introduced and it is proved that the transfer principle holds both for universal sentences whose matrices are of the former type and existential sentences whose matrices are of the latter type, giving the equivalence for every abstract algebra. In order to study when a given general sentence satisfies the principle, the Skolem normal form is examined.

Recommendations

• Lattice of fuzzy subalgebras in universal algebra.
• On the lattice and the algebra of fuzzy subsets of a universal algebra
• A note on the algebraicity of L-fuzzy subalgebras in universal algebra
• Embedding lattices of fuzzy subalgebras into lattices of crisp subalgebras
• Fuzzy subvarieties in universal algebra

Cites work

• Algebraic fuzzy systems
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• Lattice of fuzzy subalgebras and closure systems in I^ X
• Lattice of fuzzy subalgebras in universal algebra.

Cited in

(4)

• Algebras of fuzzy sets
• Lattice of fuzzy subalgebras in universal algebra.
• \(L\)-fuzzy cosets in universal algebras
• A note on natural extensions in abstract algebraic logic

This page was built for publication: Formulas on the lattice of fuzzy subalgebras in universal algebra

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