On lifting quasi-filters and strong lifting quasi-filters in MV-algebras

DOI10.3233/IFS-141507zbMath1351.06007MaRDI QIDQ5298464

Yang Xu, Xiaodong Pan

Publication date: 15 December 2016

Published in: Journal of Intelligent & Fuzzy Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/ifs-141507

zbMATH Keywords

fuzzy logic; MV-algebra; lifting inference rule; lifting quasi-filter; strong lifting quasi-filter

Mathematics Subject Classification ID

06D20: Heyting algebras (lattice-theoretic aspects)

03G25: Other algebras related to logic

06D35: MV-algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Fuzzy \(t\)-filters and their properties
• More on fuzzy lattices
• Reasoning about mathematical fuzzy logic and its future
• Some kinds of \((\epsilon_\gamma,\epsilon_\gamma\vee \!q_\delta)\)-fuzzy ideals of BCI-algebras
• On fuzzy filters of pseudo BL-algebras
• Fuzzifications of generalized Tarski filters in Tarski algebras
• On fuzzy type theory
• Redefined fuzzy implicative filters
• Fuzzy logic with countable evaluated syntax revisited
• Characterization of extended filters in residuated lattices
• Paraconsistent semantics for Pavelka style fuzzy sentential logic
• Mathematics behind fuzzy logic
• Algebraic foundations of many-valued reasoning
• Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic
• Extended filters in bounded commutative \(Rl\)-monoids
• Which logic is the real fuzzy logic?
• Algebraic Analysis of Many Valued Logics
• On Fuzzy Logic I Many‐valued rules of inference
• Fuzzy logic. Mathematical tools for approximate reasoning