Implication and production graphs on EQ-algebras

MaRDI QIDQ6606342zbMATH OpenFDO

Authors Akbar Paad

Publication date 16 September 2024

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

zbMATH Keywords

EQ-algebraimplication graphproduction graph

Mathematics Subject Classification ID

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

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

Cites work

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

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)