Filters of implication reducts of basic algebras.

DOI10.1007/S00500-013-1200-XzbMATH Open1328.06011OpenAlexW1974568228MaRDI QIDQ894674FDOQ894674

Authors: 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

Recommendations

• Implication and equivalential reducts of basic algebras
• On systems of congruences on principal filters of orthomodular implication algebras
• Ideals and congruences of basic algebras
• Congruence kernels of orthomodular implication algebras
• Implication BL-algebras

zbMATH Keywords

congruencesfiltersideal termsimplication basic algebrasimplication reducts

Mathematics Subject Classification ID

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

Cites Work

• Ideals in universal algebras
• Many-valued quantum algebras
• Independence of axiom system of basic algebras
• Basic algebras and their applications an overview
• Semilattice structures.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Orthoimplication algebras
• An implication in orthologic
• Implication and equivalential reducts of basic algebras
• Title not available (Why is that?)
• Orthomodular implication algebras
• Orthomodular semilattices
• Implication in MV-algebras
• WHEN IS A BCC-ALGEBRA EQUIVALENT TO AN MV-ALGEBRA?

Cited In (4)

• The Sheffer stroke operation reducts of basic algebras
• On systems of congruences on principal filters of orthomodular implication algebras
• Title not available (Why is that?)
• Implication and equivalential reducts of basic algebras

This page was built for publication: Filters of implication reducts of basic algebras.

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