Implication and production graphs on EQ-algebras
From MaRDI portal
Publication:6606342
Recommendations
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)