Filters of implication reducts of basic algebras.

DOI10.1007/s00500-013-1200-xzbMath1328.06011OpenAlexW1974568228MaRDI QIDQ894674

Ivan Chajda

Publication date: 2 December 2015

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-013-1200-x

zbMATH Keywords

congruencesfiltersideal termsimplication basic algebrasimplication reducts

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25) Complemented lattices, orthocomplemented lattices and posets (06C15) Lattice ideals, congruence relations (06B10) MV-algebras (06D35)

Related Items

The Sheffer stroke operation reducts of basic algebras

Cites Work

• Ideals in universal algebras
• Orthomodular semilattices
• Many-valued quantum algebras
• Orthoimplication algebras
• An implication in orthologic
• Independence of axiom system of basic algebras
• Implication in MV-algebras
• WHEN IS A BCC-ALGEBRA EQUIVALENT TO AN MV-ALGEBRA?
• Orthomodular implication algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item