$n$-fold obstinate and $n$-fold fantastic (pre)filters of $EQ$-algebras
From MaRDI portal
Publication:4958617
DOI10.22124/jart.2021.16939.1210zbMath1488.03071OpenAlexW3184567075MaRDI QIDQ4958617
Publication date: 14 September 2021
Full work available at URL: https://jart.guilan.ac.ir/article_4807_831eee65e67c44517d7e82c2e5f40330.pdf
Related Items (2)
Uses Software
Cites Work
- On good EQ-algebras
- On fuzzy type theory
- Representable good EQ-algebras
- EQ-algebras
- An introduction to mathematical logic and type theory: To truth through proof.
- Finite direct products of EQ-algebras
- Filter theory of BL algebras
- New kinds of prefilters in EQ-algebras
- Implicative and positive implicative prefilters of EQ-algebras
- n ‐fold filters in BL‐algebras
- Unnamed Item
- Unnamed Item
This page was built for publication: $n$-fold obstinate and $n$-fold fantastic (pre)filters of $EQ$-algebras