Implication and production graphs on EQ-algebras

zbMATH Open1547.03379MaRDI QIDQ6606342FDOQ6606342

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)

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
• Title not available (Why is that?)
• Title not available (Why is that?)

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)