Implication and production graphs on EQ-algebras

zbMATH Open1547.03379MaRDI QIDQ6606342FDOQ6606342

Authors: Akbar Paad 

Publication date: 16 September 2024

Published in: Transactions of A. Razmadze Mathematical Institute (Search for Journal in Brave)

Recommendations

• The relationship between EQ algebras and equality algebras
• EQ-algebras
• Graphs based on BCK/BCI-algebras
• Finite direct products of EQ-algebras
• On good EQ-algebras

zbMATH Keywords

EQ-algebraimplication graphproduction graph

Mathematics Subject Classification ID

Other algebras related to logic (03G25) BCK-algebras, BCI-algebras (06F35)

Cites Work

• An introduction to mathematical logic and type theory: To truth through proof.
• Coloring of commutative rings
• Title not available (Why is that?)
• On fuzzy type theory
• Title not available (Why is that?)
• EQ-algebras
• On good EQ-algebras
• Representable good EQ-algebras
• Graphs based on BCK/BCI-algebras
• Implicative and positive implicative prefilters of EQ-algebras
• EQ-algebras with internal states
• The lattice of prefilters of an EQ-algebra
• Integral prefilters and integral EQ-algebras
• Obstinate and maximal prefilters in EQ-algebras
• Graph based on residuated lattices

This page was built for publication: Implication and production graphs on EQ-algebras

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